function prodenlarge(t,n) {
   var f=document.getElementById("frame0");
   var orientation=prod[prev_p].orient;
   f.src="images/"+t+"/"+prev_p+n+".jpg";
   f.className="frame0"+orientation[n-1];
}