var v=parseInt(navigator.appVersion.substring(0,1));
  timeout=0; 
var hideMenu = null;
var Op = (navigator.appName == "Opera") ? 1 : 0;

var last=0;

	if (v>=3){
    for (i=1; i<=6; i++)  preload1(i+"s"); 
	}

  function preload1(file) {
image=new Image();
	image.src="/i/menu/m"+file+".jpg"; }

	if (v>=3){
preload('liguria');
preload('sardegna');
preload('sicilia');
preload('lazio');
preload('veneto');
preload('toscana');
preload('lombardia');
	}

  function preload2(file) {
image=new Image();
    image.src="/i/maps/r"+file+".gif";
	}
	
 var flag1 = 0;var flag2 = 0;var onDiv1=0;var onDiv2;var aaa;var bbb;var layerRef;var styleRef;var showVar;var hideVar;
if (navigator.appName == "Netscape") {layerRef="document.";styleRef="";showVar="'show'";hideVar="'hide'";} else {layerRef="document.all.";styleRef=".style";showVar="'visible'";hideVar="'hidden'";}
function hidediv(divn) {eval('document.getElementById("'+divn+'").style.visibility="hidden"');}
function showdiv(divn) {eval('document.getElementById("'+divn+'").style.visibility="visible"');}
function over_1(divn) {if (last != 0) { clearTimeout(aaa); hidediv(onDiv1);} showdiv(divn);onDiv1 = divn;}
function out_1() {aaa = setTimeout("Out1()",300)}
function Out1() {if (flag1 == 0) {hidediv(onDiv1);}}
function Out() {if(onDiv1!=0) hidediv(onDiv1);}


 function show_head(num){
    if (v>=3) {
	if(last!=0) clear_head(last);
	if(num!=0) document.images[num].src="/i/map/txt/"+num+"_s.gif";
	clearTimeout(hideMenu);
	last=num;
}
}

  function clear_head(num){

      document.images[num].src="/i/map/txt/"+num+".gif";
  }



  function hide_head(num){
    if (v>=3) {
      timeout=1;
	  if(num!=0) numc=num; else numc=last;
	   if(numc!=0) setTimeout('clear_head(numc)',150);
}
  }

  function showpic(num,name){
     if ((v>=3)&&(!Op)) {
	namec=name;
	lastc=last;
	if(lastc!=0) clearpic(lastc,namec);
	if(num!=0) document.images["g"+num].src="/i/"+name+"_s.gif"; 
	clearTimeout(hideMenu);
	last=num;
}
}

  function clearpic(num,name){

      document.images["g"+num].src="/i/"+name+".gif";
  }
  
    function hidepic(num,name){
    if (v>=3) {
      timeout=1;
	  if(num!=0) numc=num; else numc=last;
  	namec=name;
	   if(numc!=0) setTimeout('clearpic(numc,namec)',150);

    }
  }