<!--
var timer = null;
var currentMenu = null;
function showMenu(menuID)
{
	clearInterval(timer);
	if (currentMenu!=undefined)hideDiv(currentMenu);
	showDiv(menuID);
}
function leaveMenu(menuID)
{
	clearInterval(timer);
	currentMenu = menuID;
	timer = setInterval("hideMenu()", 100);
}
function hideMenu()
{
	clearInterval(timer);
	hideDiv(currentMenu);
}

function showDiv(divID)
{
	var o;
	o = document.all? document.all[divID] : document.getElementById(divID);
	if (arguments.length==2 && arguments[1]!=undefined)
	{
		o.innerHTML = arguments[1];
	}
	o.style.display = "block";
}

function hideDiv(divID)
{
	var o;
	o = document.all? document.all[divID] : document.getElementById(divID);
	o.style.display = "none";
}
//-->