var gflag = 0;
var to = null;
var prev = 0;

function showMenu(m) {
	var menu = document.getElementById("menu"+m);
	if (!menu) return true;
	hideMenu(prev);
	prev = m;
	menu.className = "show";
	gflag = 1;
}

function hideMenu(m) {
	var menu = document.getElementById("menu"+m);
	if (!menu) return true;
	if (gflag==0) {
		menu.className = "hide";
		clearTimeout(to);
		gflag = 0;
	}
}

function hideMenuTimed(m) {
	//var menu = document.getElementById("menu"+m);
	//menu.className = "hide";
	gflag = 0;
	to = setTimeout('hideMenu('+m+')', 1000);
}