var sessionHistoryDisplay;
    
    function DisplaySessionMenu(menuID)
    {
        clearTimeout(sessionHistoryDisplay);
        DisplayMenu(menuID);
        
    }

    function HideSessionMenu()
    {
        sessionHistoryDisplay = setTimeout('DisplayMenu()', 50);
    }
    
    function DisplayMenu(id) {
    
        var d = document.getElementById(id);
        for (var i = 1; i<=10; i++) {
	        if (document.getElementById('smenu'+i)) 
	        {
	            window.sett
	            document.getElementById('smenu'+i).style.display='none';
	        }
	            
        }
    if (d) {d.style.display='block';}
    
    }