var d = document;
var t = 10000;
var usetimer = false;
var stay;

function hideall() { // Schließt alle Menus.
    d.getElementById("ul1").style.display="none";
    d.getElementById("ul2").style.display="none";
    d.getElementById("ul3").style.display="none";
    d.getElementById("ul4").style.display="none";
    d.getElementById("ul5").style.display="none";
}

function OverMenu(menunumber) { // Schließt erst alle und öffnet dann das entsprechende Menu.
    hideall();
    d.getElementById(menunumber).style.display="block";
    if (usetimer) {
        window.clearTimeout(stay);
        starttimer();
    } else {
    	usetimer = true;
    	starttimer();
    }

}

function breaktimer() { // Bezweckt den Abbruch des Timer, wenn der Mauszeiger in den Menus ist.
    window.clearTimeout(stay);
}

function starttimer() { // Startet den Timer zum Ausblenden der Menus.
    stay = window.setTimeout("hideall()",t);
}