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 = "/";
Image7 = new Image();
Image7.src = "/";
Image8 = new Image();
Image8.src = "/";
Image9 = new Image();
Image9.src = "/";
Image10 = new Image();
Image10.src = "/";
Image11 = new Image();
Image11.src = "/";
Image12 = new Image();
Image12.src = "/";
Image13 = new Image();
Image13.src = "/";
Image14 = new Image();
Image14.src = "/";
function changeimage(imagenum,newfilename,efnum) {
if (newfilename != '') { document.images[imagenum].src=newfilename;   }  }