var cur_event;

function ShowMenu(menuid)
{
	var submenu, menu;

	StopEvent();
	HideAll();

	submenu = document.getElementById("submenu" + menuid);
	menu    = document.getElementById("pos" + menuid);

	submenu.style.left       = (menu.offsetLeft)      + "px";
	submenu.style.top        = (menu.offsetTop  + 25) + "px";
	submenu.style.visibility = "visible";

	StartHiddingLong();
}

function HideMenu(menuid)
{
	var submenu;

	submenu = document.getElementById("submenu" + menuid);

	submenu.style.visibility = "hidden";
}

function HideAll()
{
	var t;

	for(t=1;t<10;t++)
		HideMenu(t);
}

function StartHidding()
{
	cur_event = setTimeout("HideAll();", 1000);
}

function StartHiddingLong()
{
	cur_event = setTimeout("HideAll();", 5000);
}

function StopEvent()
{
	clearTimeout(cur_event);
}