function menu_hide(){
	document.getElementById('mmenu').style.display='none';
	}
function menu_show(){
	document.getElementById('mmenu').style.display='block';
	}