//thumbnail script
image0 = new Image();
image1b = new Image();
image2a = new Image();
image2b = new Image();
image3 = new Image();
image4 = new Image();
image5 = new Image();
image6 = new Image();
image7 = new Image();
image8 = new Image();
image9 = new Image();
image10 = new Image();
image11 = new Image();
image12 = new Image();
image13 = new Image();

// These 3 lines define the source of the displayed images 
image0.src ="acm_gallery/p_gallery/Facilities/img1.jpg";
image1b.src ="acm_gallery/p_gallery/Facilities/img1b.jpg";
image2a.src ="acm_gallery/p_gallery/Facilities/img2a.jpg";
image2b.src ="acm_gallery/p_gallery/Facilities/img2b.jpg";
image3.src ="acm_gallery/p_gallery/Facilities/img3.jpg";
image4.src ="acm_gallery/p_gallery/Facilities/img4.jpg";
image5.src ="acm_gallery/p_gallery/Facilities/img5.jpg";
image6.src ="acm_gallery/p_gallery/Facilities/img6.jpg";
image7.src ="acm_gallery/p_gallery/Facilities/img7.jpg";
image8.src ="acm_gallery/p_gallery/Facilities/img8.jpg";
image9.src ="acm_gallery/p_gallery/Facilities/img9.jpg";
image10.src ="acm_gallery/p_gallery/Facilities/img10.jpg";
image11.src ="acm_gallery/p_gallery/Facilities/img11.jpg";
image12.src ="acm_gallery/p_gallery/Facilities/img12.jpg";
image13.src ="acm_gallery/p_gallery/Facilities/img14.jpg";

// This defines the source of the preview image 
/*document.images['pimage0'].src=image0.src;
	document.images['pimage1'].src=image1.src;
	document.images['pimage2'].src=image2.src;
	document.images['pimage3'].src=image3.src;
*/

// This defines what to do when an image is clicked on 
function image_click(clicks)
{
if(clicks==0){document.images['large'].src=image0.src;}
if(clicks==1){document.images['large'].src=image1b.src;}
if(clicks==2){document.images['large'].src=image2a.src;}
if(clicks==3){document.images['large'].src=image2b.src;}
if(clicks==4){document.images['large'].src=image3.src;}
if(clicks==5){document.images['large'].src=image4.src;}
if(clicks==6){document.images['large'].src=image5.src;}
if(clicks==7){document.images['large'].src=image6.src;}
if(clicks==8){document.images['large'].src=image7.src;}
if(clicks==9){document.images['large'].src=image8.src;}
if(clicks==10){document.images['large'].src=image9.src;}
if(clicks==11){document.images['large'].src=image10.src;}
if(clicks==12){document.images['large'].src=image11.src;}
if(clicks==13){document.images['large'].src=image12.src;}
}
// -->