function navMouseOver(nav_id) {
	document.images[nav_id].src = 	"/images/" + nav_id + "_o.png";
}

function navMouseOut(nav_id) {
	document.images[nav_id].src = 	"/images/" + nav_id + ".png";
}