function highlightMenu(mitem) {
		obj = document.getElementById(mitem);
		obj.style.color = '#FFFFFF';
		obj.style.background = '#92b0dd';
	}
	
	function resetMenu(mitem) {
		obj = document.getElementById(mitem);
		obj.style.color = '#FE6F12';
		obj.style.background = '#164E90';
	}