// JavaScript Document
/* we'll only allow DOM browsers to simplify things */
(document.getElementById ? DOMCapable = true : DOMCapable = false);
function hide(menuName) {
	if (DOMCapable) {
		var theMenu = document.getElementById(menuName+"choices");
		theMenu.style.visibility = 'hidden';
	}
}

function show(menuName) {
	if (DOMCapable) {
		var theMenu = document.getElementById(menuName+"choices");
		theMenu.style.visibility = 'visible';
	}
}