// JavaScript Document
window.onload = showmenu;
window.onload = hidemenu;
window.unonload = function() {};

function showmenu(menu_bar){
	document.getElementById(menu_bar).style.visibility="visible";
}
function hidemenu(menu_bar){
	document.getElementById(menu_bar).style.visibility="hidden";
}