a31=new Image

a31.src="../products/images/backtoprod.gif"
a32=new Image
a32.src="../products/images/backtoprod1.gif"


function filter(imagename,objectsrc){
if (document.images)
document.images[imagename].src=eval(objectsrc+".src")
}


function showVinylsize(vinylsizename) {
var fileName=vinylsizename + ".htm";
window.open(fileName,"vinylsizeWindow",
"width=425,height=637,top=21,left=500");
}