// JavaScript Document
function show_menu(m){
	document.getElementById(m).style.display="block";
}
function hide_menu(m){
	document.getElementById(m).style.display="none";
}