function menu_switch(elem) {
	
	document.getElementById('menu1').style.display='none';
	document.getElementById('menu2').style.display='none';
	document.getElementById('menu3').style.display='none';

	document.getElementById(elem).style.display='inline';

}