// JavaScript Document

function show_menu(){
document.getElementById("submenu").style.visibility = "visible";
document.getElementById("submenu").style.display = "block";
}
function hide_menu(){
document.getElementById("submenu").style.visibility = "hidden";
document.getElementById("submenu").style.display = "none";
}