function menu_1(menuon) {
	document.getElementById(menuon).style.color='#ffffff';
	document.getElementById(menuon).style.background='#3F70AB';
	}