var currentMenu = null;
var mInterval = null;

function toggleMenu( menuid )
{
	var m = document.getElementById( menuid );
	if( m.style.visibility == "visible" ) closeMenu( menuid );
	else showMenu( menuid );
}

function showMenu( menuid )
{
	if( currentMenu ) closeMenu( currentMenu );
	var m = document.getElementById( menuid );
	m.style.visibility = "visible";
	currentMenu = menuid;
}

function keepMenu()
{
	clearInterval( mInterval );
	var m = document.getElementById( currentMenu );
	m.style.visibility = "visible";
}

function hideMenu()
{
	mInterval = setInterval( "closeMenu(currentMenu)", 200 );
}

function closeMenu( menuid )
{
	clearInterval ( mInterval );
	var m = document.getElementById( menuid );
	m.style.visibility = "hidden";
	
}

function toggleDiv( did )
{
	var m = document.getElementById( did );
	if( m.style.display == "none" ) m.style.display = "block";
	else m.style.display = "none";
}