function nav_hover(elemName) {
	var img = document.getElementById('nav_' + elemName);
	img.src = "./images/" + elemName + "_hover.png";
}
function nav_out(elemName) {
	var img = document.getElementById('nav_' + elemName);
	img.src = "./images/" + elemName + ".png";
}