<!--
if(document.images != null) {
image1=new Image()
image1.src="welcome01.gif"
image1a=new Image()
image1a.src="welcome02.gif"
image2=new Image()
image2.src="accommodation01.gif"
image2a=new Image()
image2a.src="accommodation02.gif"
image3=new Image()
image3.src="area01.gif"
image3a=new Image()
image3a.src="area02.gif"
image4=new Image()
image4.src="gallery01.gif"
image4a=new Image()
image4a.src="gallery02.gif"
image5=new Image()
image5.src="contact01.gif"
image5a=new Image()
image5a.src="contact02.gif"
image6=new Image()
image6.src="map01.gif"
image6a=new Image()
image6a.src="map02.gif"
image7=new Image()
image7.src="book01.gif"
image7a=new Image()
image7a.src="book02.gif"
image8=new Image()
image8.src="booking01.gif"
image8a=new Image()
image8a.src="booking02.gif"
image9=new Image()
image9.src="millcroft01.gif"
image9a=new Image()
image9a.src="millcroft02.gif"

}else {
// Do something else for these browsers.
}

function filter(imagename,objectsrc){
if (document.images)
document.images[imagename].src=eval(objectsrc+".src")
}

//-->