var timer=null;
var actmenu;
var isrunning;

function showMenu(name)
{
	if (isrunning)
	{
		killMenu();
	}
	
	actmenu=name;
	document.getElementById(actmenu).style.visibility='visible';
}

function keepMenu()
{
	clearTimeout(timer);
}

function killMenu()
{
	clearTimeout(timer);
	document.getElementById(actmenu).style.visibility='hidden';
	isrunning=0;
}

function hideMenu()
{
	timer=setTimeout("killMenu()",300);
	isrunning=1;
}