// JavaScript Document
function menuOver(menu){document.getElementById(menu).style.visibility='visible';}
function menuOut(menu){document.getElementById(menu).style.visibility='hidden';}