var mmOpenContainer = null;
var mmOpenMenus = null;
var mmHideMenuTimer = null;

function MM_menuStartTimeout(hideTimeout) {
	mmHideMenuTimer = setTimeout("MM_menuHideMenus()", hideTimeout);	
}

function MM_menuHideMenus() {
	MM_menuResetTimeout();
	if(mmOpenContainer) {
		var c = document.getElementById(mmOpenContainer);
		c.style.visibility = "inherit";
		mmOpenContainer = null;
	}
	if( mmOpenMenus ) {
		for(var i in mmOpenMenus) {
			var m = document.getElementById(mmOpenMenus[i]);
			m.style.visibility = "hidden";			
		}
		mmOpenMenus = null;
	}
}

function MM_menuHideSubmenus(menuName) {
	if( mmOpenMenus ) {
		var h = false;
		var c = 0;
		for(var i in mmOpenMenus) {
			if( h ) {
				var m = document.getElementById(mmOpenMenus[i]);
				m.style.visibility = "hidden";
			} else if( mmOpenMenus[i] == menuName ) {
				h = true;
			} else {
				c++;
			}
		}
		mmOpenMenus.length = c+1;
	}
}

function MM_menuOverMenuItem(menuName, subMenuSuffix) {
	MM_menuResetTimeout();
	MM_menuHideSubmenus(menuName);
	if( subMenuSuffix ) {
		var subMenuName = "" + menuName + "_" + subMenuSuffix;
		MM_menuShowSubMenu(subMenuName);
	}
}

function MM_menuShowSubMenu(subMenuName) {
	MM_menuResetTimeout();
	var e = document.getElementById(subMenuName);
	e.style.visibility = "inherit";
	if( !mmOpenMenus ) {
		mmOpenMenus = new Array;
	}
	mmOpenMenus[mmOpenMenus.length] = "" + subMenuName;
}

function MM_menuResetTimeout() {
	if (mmHideMenuTimer) clearTimeout(mmHideMenuTimer);
	mmHideMenuTimer = null;
}

function MM_menuShowMenu(containName, menuName, xOffset, yOffset, triggerName) {
	MM_menuHideMenus();
	MM_menuResetTimeout();
	MM_menuShowMenuContainer(containName, xOffset, yOffset, triggerName);
	MM_menuShowSubMenu(menuName);
}

function MM_menuShowMenuContainer(containName, x, y, triggerName) {	
	var c = document.getElementById(containName);
	var s = c.style;
	s.visibility = "inherit";
	
	mmOpenContainer = "" + containName;
}

function MM_swapImgRestore() { //v3.0
  var i,x,a=document.MM_sr; for(i=0;a&&i<a.length&&(x=a[i])&&x.oSrc;i++) x.src=x.oSrc;
}

function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}

function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_swapImage() { //v3.0
  var i,j=0,x,a=MM_swapImage.arguments; document.MM_sr=new Array; for(i=0;i<(a.length-2);i+=3)
   if ((x=MM_findObj(a[i]))!=null){document.MM_sr[j++]=x; if(!x.oSrc) x.oSrc=x.src; x.src=a[i+2];}
}
<!--Script per menu a comparsa-->
		function mostraMenu(menuCorrente) {
			if (document.getElementById) {
				questoMenu = document.getElementById(menuCorrente).style
				if (questoMenu.display == "block") {
					questoMenu.display = "none"
				}
				else {
					questoMenu.display = "block"
				}
				return false
			}
			else {
				return true
			}
		}
		
<!--Script per mappa-->
  function sopra( indice )
    {
	 //per cambiare immagine della mappa, sostituita con la figura "mondo<N>.gif"
	 var mappa = document.getElementById( "mondo" );
	 nomeMappa = "../images/mondo" + indice + ".gif";
	 mappa.src = nomeMappa;
	}
function fuori( indice )
    {
	 //ripristina mappa normale
	 var mappa = document.getElementById( "mondo" );
	 mappa.src = "../images/mondo.gif";
    }

function preloadImmagini()
{
  var image1 = new Image();   image1.src = "images/mondo1.jpg"  
  var image2 = new Image();  image2.src = "images/mondo2.jpg"
  var image3 = new Image();  image3.src = "images/mondo3.jpg"
  var image4 = new Image();  image4.src = "images/mondo4.jpg"
  var image5 = new Image();  image5.src = "images/mondo5.jpg"
  var image6 = new Image();  image6.src = "images/mondo6.jpg"
  var image7= new Image();  image7.src = "images/mondo7.jpg"
  var image8= new Image();  image8.src = "images/mondo8.jpg"
  var image9 = new Image();  image9.src = "images/mondo9.jpg"
  var image10 = new Image();  image10.src = "images/mondo10.jpg"
  var image11 = new Image();  image11.src = "images/mondo11.jpg"
  var image12 = new Image();  image12.src = "images/mondo12.jpg"
  var image13 = new Image();  image13.src = "images/mondo13.jpg"
  var image14 = new Image();  image14.src = "images/mondo14.jpg"
}