<!--
//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();
image8 =new Image();

// This defines the source of the display image 
image0.src ="images/small/receptions.jpg"
image1.src ="images/small/reception.jpg"
image2.src ="images/small/waiting.jpg"
image3.src ="images/small/chef.jpg"
image4.src ="images/small/dinning.jpg"
image5.src ="images/small/single.jpg"
image6.src ="images/small/twin.jpg"
image7.src ="images/small/triple.jpg"
image8.src ="images/small/bathroom.jpg"


// This defines the source of the preview image 
image0.src ="images/big/receptions.jpg"
image1.src ="images/big/reception.jpg"
image2.src ="images/big/waiting.jpg"
image3.src ="images/big/chef.jpg"
image4.src ="images/big/dinning.jpg"
image5.src ="images/big/single.jpg"
image6.src ="images/big/twin.jpg"
image7.src ="images/big/triple.jpg"
image8.src ="images/big/bathroom.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=image6.src;}
if(clicks==6){document.images['large'].src=image5.src;}
if(clicks==7){document.images['large'].src=image7.src;}
if(clicks==8){document.images['large'].src=image8.src;}
}
// -->