function showMenu(menuID) {
	//if (!is_ie7)
		document.getElementById(menuID).style.visibility = "visible";
}

function hideMenu(menuID) {
	//if (!is_ie7)
		document.getElementById(menuID).style.visibility = "hidden";
}