var currentShowingMenu = ""
var currentOverMenu = ""

function showMenu(menu) {
   	if (currentShowingMenu != "") {
   	    // There is another menu showing
    	hideSubMenu(menu)
    	hideBullet(menu)
	}
	
  	document.getElementById(menu).style.display = ""
    document.getElementById(menu + "_marking").src = "grafik/menumarkering.gif"
    currentShowingMenu = menu;
    setCurrentOverMenu(menu)
}

function showMenuFromStart(menu) {
    currentShowingMenu = menu
   	document.getElementById(menu).style.display = ""
    setCurrentOverMenu(menu)
}

function hideMenu(menu) {
    setCurrentOverMenu('')
    setTimeout("doHideMenu('" + menu + "')", 100);
}

function doHideMenu(menu) {
    if (((currentOverMenu + "") == (menu + ""))) {
        return;
    }
    if (document.getElementById(menu).style.display == "") {
        // the menu is showing
        hideSubMenu(menu)
        hideBullet(menu)
        currentShowingMenu = "";
    }
}

function hideSubMenu(submenu) {
    if ((submenu + "") != doNotHideMenu) {
        document.getElementById(submenu).style.display = "none"
    }
}

function hideBullet(menu) {
    document.getElementById(menu + "_marking").src = "grafik/blank.gif"
}

function setCurrentOverMenu(menu) {
    currentOverMenu = menu
}