/*function nascondi(current){
//rendo invisibile il menu solo per i browser che utilizzano javascript
box=document.getElementById(current);
if (!document.getElementById) return; //questo serve per i browsers che non capiscono il dom
 box.style.visibility="hidden";
}*/

var inmenu=false;
var lastmenu=0;
function menu(current) {
   if (!document.getElementById) return; //questo serve per i browsers che non capiscono il dom
   inmenu=true;
   oldmenu=lastmenu;
   lastmenu=current;
   
   if (oldmenu) Erase(oldmenu);
   box=document.getElementById(current);
   box.style.visibility="visible";
}
function Erase(current) {
   if (!document.getElementById) return;
   if (inmenu && lastmenu==current) { //cioč se sono dentro il sottomenu
	  return;
   }
   box=document.getElementById(current);
   box.style.visibility="hidden";
}
function timeout(current) {
   inmenu=false;
   window.setTimeout("Erase('" + current + "');",600); // la concatenazione di stringhe č per avere current dinamico
}
function menuin(menu) {
   if (!document.getElementById) return;
   inmenu=true;
   lastmenu=menu;
}
function menuout(menu) {
   if (!document.getElementById) return; //return: uscire dalla funzione
   timeout(menu);
}