// JavaScript Document

var timeout = 500;
var closetimer = 0;
var menuitem = 0;

function menuopen(id)
{
	menucancelclosetime();
	if(menuitem) menuitem.style.visibility = "hidden";
	menuitem = document.getElementById(id);
	menuitem.style.visibility = "visible";
}

function menuclose()
{
	if(menuitem) menuitem.style.visibility = "hidden";
}

function menuclosetime()
{
	closetimer = window.setTimeout(menuclose, timeout);
}

function menucancelclosetime()
{
	if(closetimer)
	{
		window.clearTimeout(closetimer);
		closetimer = null;
	}
}
