var menuTimer1, menuTimer2;
var menu1timing = false;
var menu2timing = false;
function showmenu(num)
{
	if (menu1timing && num == 1) clearTimeout(menuTimer1);
	if (menu2timing && num == 2) clearTimeout(menuTimer2);
	dmenu = document.getElementById("dropmenu" + num);
	dmenu.style.visibility="visible";
}

function hidemenu(num)
{
	switch(num)
	{
		case 1:
			menuTimer1 = setTimeout("hidemenunow(" + num +")", 150);
			menu1timing = true;
			break;
		case 2:
			menuTimer2 = setTimeout("hidemenunow(" + num +")", 150);
			menu2timing = true;
			break;
		default:
	}
}

function hidemenunow(num)
{
	switch(num)
	{
		case 1:
			menu1timing = false;
			break;
		case 2:
			menu2timing = false;
			break;
		default:
	}
	dmenu = document.getElementById("dropmenu" + num);
	dmenu.style.visibility="hidden";
}