var closeTimerID = null;

function showPopupSubmenu() {
    if (closeTimerID != null) {
        clearTimeout(closeTimerID);
        closeTimerID = null;
    }
    document.getElementById("floatmenu").style.visibility = "visible";
};

function hidePopupSubmenu() {
    closeTimerID = setTimeout("doHideMenu()", 1000);
};

function doHideMenu() {
    document.getElementById("floatmenu").style.visibility = "hidden";
};