/* Subsubmenus werden um eine ID und Events erweitert */
function initSubmenuHiding(id){
    // Submenu und Subsubmenus besorgen
    var submenu = document.getElementById(id);
    var ul = submenu.getElementsByTagName('ul');
    // Über Subsubmenus iterieren
    for(i=0; i < ul.length; i++){
	// Subsubmenus mit Ids kennzeichnen und event hinzufügen
	this_id = "subsubmenu_"+i;
	this_ul = ul[i];
        this_ul.id = this_id;
        this_ul.onmouseover = showMe;
	// Übergeordnetes li und a mit events auszeichnen
	this_ul.parentNode.onmouseout = hideUl;
	this_ul.parentNode.getElementsByTagName('a')[0].onmouseover=showUl;
    }    
}

/* Subsubmenus anzeigen und verstecken */
function showMe(event){
    this.style.display='block';
}
function showUl(event){
    this.parentNode.getElementsByTagName('ul')[0].style.display='block';
}
function hideUl(){
    this.getElementsByTagName('ul')[0].style.display='none';
}

function highlightSubmenu(id){
    var url = document.URL;
    pos = url.indexOf('?');
    href = url.substr(pos);
    
    
    var as = document.getElementById(id).getElementsByTagName('a');
    found = false; i = 0;
    while(found == false && i < as.length){
	if(as[i].href == document.URL){
          as[i].id="currentSubmenu";
	  found = true;
        }
	i++;
    }
}