<!--
//thumbnail script
image0 =new Image();
image1 =new Image();
image2 =new Image();
image3 =new Image();
image4 =new Image();


// This defines the source of the display image 
image0.src ="../graphics/port/schools/thumb/build25s.jpg"
image1.src ="../graphics/port/schools/thumb/build26s.jpg"
image2.src ="../graphics/port/schools/thumb/build28s.jpg"
image3.src ="../graphics/port/schools/thumb/build32s.jpg"
image4.src ="../graphics/port/schools/thumb/build37s.jpg"

// This defines the source of the preview image 
image0.src ="../graphics/port/schools/build25.jpg"
image1.src ="../graphics/port/schools/build26.jpg"
image2.src ="../graphics/port/schools/build28.jpg"
image3.src ="../graphics/port/schools/build32.jpg"
image4.src ="../graphics/port/schools/build37.jpg"


// 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=image1.src;}
if(clicks==2){document.images['large'].src=image2.src;}
if(clicks==3){document.images['large'].src=image3.src;}
if(clicks==4){document.images['large'].src=image4.src;}
}
// -->