highlightId = '';

function hideSubmenus()
{
    sub = document.getElementById('submenubar').firstChild;
    while (sub) {
        if (sub.nodeName == 'TABLE') {
            sub.style.display = 'none';
        }
        sub = sub.nextSibling;
    }
}

function setmenu(name)
{
    labelid = 'label_' + name;
    
    hideSubmenus();
    
    if (highlightId != '') {
      document.getElementById(highlightId).className = 'menulabel';
    }

    document.getElementById(labelid).className = 'selectedmenulabel';
    highlightId = labelid;

    menuContent = document.getElementById('submenu_' + name);
    menuContent.style.display = 'block';
}

function awake() {
    hideSubmenus();    
}