///vars for current header and menu
var MenuID = 0;
var timHide = 0;

function showMenu(ID) {
    var m = document.getElementById('divMenu' + ID).style;

    stopTimer();

    //if(m.visibility != "hidden")
	//return;       
	
    if (MenuID != ID) {
	hideMenu();
    }

    m.left = navmenu.offsetWidth + 11;
    m.top  = navmenu.offsetTop + 173 + ((ID - 2) * 27);

    m.visibility = "visible";
    MenuID = ID;
}

function hideMenu() {
    if (MenuID) {
	document.getElementById('divMenu' + MenuID).style.visibility = "hidden";
	MenuID = 0;
    }
}

function startTimer() {
    stopTimer();
    timHide = window.setTimeout("hideMenu();", 100);	
}

function stopTimer() {
    if (timHide != 0) {
        window.clearTimeout(timHide);
	timHide = 0;
    }
}