function select_menu(val){
	document.getElementById('div_section1').className = 'normal';
	document.getElementById('div_section2').className = 'normal';
	document.getElementById('div_section3').className = 'normal';
	document.getElementById('div_section4').className = 'normal';
	document.getElementById(val).className = 'selected'; 
}