<!--

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/foto1.gif";
     menu[2].src = "images/menu/dienste1.gif";
     menu[3].src = "images/menu/preise1.gif";
     menu[4].src = "images/menu/reservierung1.gif";
     menu[5].src = "images/menu/kontakt1.gif";
     menu[6].src = "images/menu/montecatini1.gif";
	 
	 
	}
	
-->