function revealMenu(){
document.getElementById("hidden_menu").style.display="block";}

function hideMenu(){
document.getElementById("hidden_menu").style.display="none";}