// JScript source code

// $ = document.getElementById
function $() {
  if (arguments.length == 1) {
    return get$(arguments[0]);
  }
  var i, zElements = [];
  for (i = 0; i < arguments.length; i++) {
    zElements.push(get$(arguments[i]));
  }
  function get$(el) {
    return (typeof el == "string" ? document.getElementById(el) : el);
  }
  return zElements;
}


function menuhide(menunum) {
	var currentmenu = $("navbody" + menunum);
	if (currentmenu) {
		currentmenu.style.display = 'none';
	}
}

function menushow(menunum) {
  var currentmenu = $("navbody" + menunum);
	if (currentmenu) {
		currentmenu.style.display = 'block';
	}
}