// JavaScript Document
function showMenu(theMenuID, willShow) {
	// alert("In function showMenu(thMenuID)");
	var theMenu;
	var visibility;
	if (willShow) {
		visibility = "visible";
	} else {
		visibility = "hidden";
	}
	theMenu = document.getElementById(theMenuID);
	theMenu.style.visibility = visibility;
}