function hide(menu){
	var menuStyle=document.getElementById(menu).style;
	menuStyle.display="none";
}

function show(menu) {
	var menuStyle=document.getElementById(menu).style;
	menuStyle.display="block";
}