<!--
//thumbnail script
image0 =new Image();
image1 =new Image();
image2 =new Image();
image3 =new Image();
image4 =new Image();
image5 =new Image();
image6 =new Image();
image7 =new Image();


// This defines the source of the display image 
image0.src ="../graphics/port/insurers/thumb/build15s.jpg"
image1.src ="../graphics/port/insurers/thumb/build16s.jpg"
image2.src ="../graphics/port/insurers/thumb/build17s.jpg"
image3.src ="../graphics/port/insurers/thumb/build18s.jpg"
image4.src ="../graphics/port/insurers/thumb/build19s.jpg"
image5.src ="../graphics/port/insurers/thumb/build20s.jpg"
image6.src ="../graphics/port/insurers/thumb/build21s.jpg"
image7.src ="../graphics/port/insurers/thumb/build22s.jpg"


// This defines the source of the preview image 
image0.src ="../graphics/port/insurers/build15.jpg"
image1.src ="../graphics/port/insurers/build16.jpg"
image2.src ="../graphics/port/insurers/build17.jpg"
image3.src ="../graphics/port/insurers/build18.jpg"
image4.src ="../graphics/port/insurers/build19.jpg"
image5.src ="../graphics/port/insurers/build20.jpg"
image6.src ="../graphics/port/insurers/build21.jpg"
image7.src ="../graphics/port/insurers/build22.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;}
if(clicks==5){document.images['large'].src=image5.src;}
if(clicks==6){document.images['large'].src=image6.src;}
if(clicks==7){document.images['large'].src=image7.src;}


}
// -->