// JavaScript Document
<!--

  pic1= new Image(416,190); 
  pic1.src="images/img1.png"; 

  pic2= new Image(416,190); 
  pic2.src="images/img2.png"; 

  //pic3= new Image(416,190); 
  //pic3.src="images/img3.png"; 
  
  pic4= new Image(416,190); 
  pic4.src="images/img4.png"; 
  
  //pic5= new Image(416,190); 
  //pic5.src="images/img5.png"; 
  
  pic6= new Image(416,190); 
  pic6.src="images/img6.png"; 
  
  pic7= new Image(416,190); 
  pic7.src="images/img7.png"; 
  
  pic8= new Image(416,190); 
  pic8.src="images/img8.png"; 
  
  pic9= new Image(416,190); 
  pic9.src="images/img9.png"; 


function changeImage(changeTo){
   imgName=eval("pic" + changeTo + ".src");
   document.getElementById('mimage').src=imgName;
}
//-->