function imageOn(page) {
		var picture = document.getElementById(page);
		picture.src = "images/nav_"+page+"_over.png";
}
function imageOff(page) {
		var picture = document.getElementById(page);
		picture.src = "images/nav_"+page+".png";
}