window.onload=menuTimeout;

function menu(id, buttonid) {
	var d = document.getElementById(id);
	
	for (var i = 1; i<=10; i++)
	{
		if (document.getElementById('menu'+i))
		{
			document.getElementById('menu'+i).style.visibility='hidden';
		}
	}
	
	if (d)
	{
		d.style.visibility='visible';
	}
}

function menuTimeout(hideTimeout) {
	menuTimer = setTimeout("menu()", hideTimeout);	
}

function menuResetTimeout() {
	if (menuTimer)
	{
		clearTimeout(menuTimer);
	}
	menuTimer = null;
}