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

function menu_2(menuon) {
	document.getElementById(menuon).style.color='#404040';
	document.getElementById(menuon).style.background='#ffffff';
	}
	
function widget_1(menuon) {
	document.getElementById(menuon).style.color='#ffffff';
	document.getElementById(menuon).style.background='#003366';
	}