Image1 = new Image();
Image1.src = "/";
Image2 = new Image();
Image2.src = "/";
Image3 = new Image();
Image3.src = "/";
Image4 = new Image();
Image4.src = "/";
Image5 = new Image();
Image5.src = "/";
Image6 = new Image();
Image6.src = "/";
function changeimage(imagenum,newfilename,efnum) {
if (newfilename != '') { document.images[imagenum].src=newfilename;   }  }