// JavaScript Document

function nav_over(image) {
	var img_id = "nav_" + image;
	document.getElementById(img_id).src = "_images/nav_mo.png";
}

function nav_out(image) {
	var img_id = "nav_" + image;
	document.getElementById(img_id).src = "_images/nav_" + image + ".png";
}