img1=new Image();
img1.src="images/room1_banner.gif";

img2=new Image();
img2.src="images/room2_banner.gif";

img3=new Image();
img3.src="images/room3_banner.gif";

img4=new Image();
img4.src="images/room4_banner.gif";

function gettip(image)
{
document.getElementById('Tip').innerHTML="<img src='" + image + "' />";
}
function reset()
{
document.getElementById('Tip').innerHTML=" ";
}