// --- Funzione che viene eseguita al caricamento della pagina e chiude tutti i
//     sottomenu

var newMenu = "null";

window.onload = function() {
   var uls = document.getElementsByTagName("ul");
   for (i=0;i<uls.length;i++) {
      // --- Utilizzato da FireFox tramite l'attributo class
      if(uls[i].getAttribute("class")=="submenu")
         uls[i].style.display = "none";
      // --- Usato da IE tramite l'attributo id cercando al suo interno il prefisso
      //     'submenu-'
      if(uls[i].getAttribute("id") && uls[i].getAttribute("id").search("submenu-")!= -1)
         uls[i].style.display = "none";
   }
}

// --- Apre il menu quando si clicca sull'elemento usato come link
function open_menu(ID) {
   var menu = document.getElementById(ID);
   newMenu = menu;
   var display = menu.style.display;
   menu.style.display = (display == "block") ? "none" : "block";
}