function getObj(id) {
	
	if (document.getElementById) return document.getElementById(id);
	if (document.all) return document.all[id];
	if (document.layers) return document.layers[id];
	return null;
	
}

var menuTimeouts = new Object();

function showMenu(menu_id) {
	if (menuTimeouts[menu_id]) {
		clearTimeout(menuTimeouts[menu_id]);
		menuTimeouts[menu_id] = null;
	}
	var menu = getObj(menu_id);
	if (menu == null) return;
	menu.style.overflow = "visible";
	menu.style.display = "block";
}

function hideMenu(menu_id) {
	//var menu = getObj(menu_id);
	menuTimeouts[menu_id] = setTimeout("quickHideMenu(\""+menu_id+"\");", 20);
}

function quickHideMenu(menu_id) {
	var menu = getObj(menu_id);
	if (menu == null) return;
	menu.style.overflow = "hidden";
	menu.style.display = "none";
}