function highLight(button, state) {
	document.getElementById(button).src = "images/nav/"+button+state+".gif";
}