// JavaScript Document
function show(){
   document.getElementById("menu2").style.visibility="visible";
}
function hide(){
   document.getElementById("menu2").style.visibility="hidden";
}
function show7(){
   document.getElementById("menu7").style.visibility="visible";
}
function hide7(){
   document.getElementById("menu7").style.visibility="hidden";
}