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

function menu_2(menuon) {
	document.getElementById(menuon).style.color='#000000';
	document.getElementById(menuon).style.background='#ffffff';
	}
function menu_3(menuon) {
	document.getElementById(menuon).style.color='#fff';
	document.getElementById(menuon).style.background='#003C7C';
	}