<!--

if (document.images) {
     menu = new Array(7);
     for (m=0; m<=7; m++) { 
     menu[m] = new Image();
	 }
     menu[0].src = "images/menu/home1.gif";
     menu[1].src = "images/menu/photos1.gif";
     menu[2].src = "images/menu/services1.gif";
     menu[3].src = "images/menu/offers1.gif";
     menu[4].src = "images/menu/reservations1.gif";
     menu[5].src = "images/menu/contacts1.gif";
     menu[6].src = "images/menu/montecatini1.gif";
	 
	 
	}
	
-->