
var active = "";
var closing = false;

function menuOn( menu )
{
	if( menu != '' )
		id = document.getElementById( menu );

	closing = true;
	menuClose();

	if( menu != '' )
	{
		id.style.visibility = "visible";
		active = id;
		closing = false;
	}
}

function menuOk()
{
	closing = false;
}

function menuOff()
{
	if( active != "" )
	{
		closing = true;
		setTimeout( "menuClose()", 500 );
	}
}

function menuClose()
{
	if( active != "" && closing )
		active.style.visibility = "hidden";
}

