function showmenu(mm){
	document.getElementById(mm).style.visibility = "visible";
}
function hidemenu(mm){
	document.getElementById(mm).style.visibility = "hidden";
}