var activeMenu = null;
function switchOn(menuname)
{
    var elem = document.getElementById(menuname);
    if (elem != null)
    {
	    document.getElementById(menuname).style.display = "block";
	}
	
	if (activeMenu == menuname)
	{
        window.clearTimeout(currentTimeout);
        currentTimeout = -1; 	
    }
    
    activeMenu = menuname;
}

var currentTimeout = -1;
function switchOff(menuname)
{
    currentTimeout = window.setTimeout("hide('" + menuname + "')", 200);
}

function hide(menuname)
{
    var element = document.getElementById(menuname);
    
    if (element != null)
    {
	    element.style.display = "none";
    }   
    
    currentTimeout = -1; 
}