<!--
if(document.images != null) {
image1=new Image()
image1.src="welcome1.gif"
image1a=new Image()
image1a.src="welcome2.gif"
image2=new Image()
image2.src="accommodation1.gif"
image2a=new Image()
image2a.src="accommodation2.gif"
image3=new Image()
image3.src="prices1.gif"
image3a=new Image()
image3a.src="prices2.gif"
image4=new Image()
image4.src="attractions1.gif"
image4a=new Image()
image4a.src="attractions2.gif"

}else {
// Do something else for these browsers.
}

function filter(imagename,objectsrc){
if (document.images)
document.images[imagename].src=eval(objectsrc+".src")
}

//-->