function lightback(ID) {
		document.getElementById(ID).style.background = "url('images/navhighlight.gif')";
	}
	function backtonormal(ID) {
	document.getElementById(ID).style.background = "url('images/navback.gif')";
	}