function hide(menu){

var menuStyle=document.getElementById(menu).style;

menuStyle.display="none";

}

function show(menu) {

var menuStyle=document.getElementById(menu).style;

menuStyle.display="block";

}