var subMenuClosingTimer = new Array();
        
function menuMouseover(entry) {
    var submenuId = entry.id + 'Submenu';
    try {
        document.getElementById(submenuId).style.display = 'block';
    } catch (e) {
        // do nothing if no submenu existing
    }
}

function menuEntryMouseout(subMenuId) {
    subMenuClosingTimer[subMenuId] = window.setTimeout('closeMenu(\'' + subMenuId + '\')', 100);
}

function closeMenu(subMenuId) {
    document.getElementById(subMenuId).style.display = 'none';
}

function menuEntryMouseover(subMenuId) {
    window.clearTimeout(subMenuClosingTimer[subMenuId]);
}