function show_menu(menu) {
	var i;
	for(i=1; i<=4; i++) {
		if(menu == i) {
			document.getElementById('menu_div_'+i).style.display = 'block';
		} else {
			document.getElementById('menu_div_'+i).style.display = 'none';
		}
	}
}