<!--


function navMouseOver(nav_id) {
	var obj = document.images[nav_id];
	obj.src = 	"images/nav/hover/" + nav_id + ".png";
	
}

function navMouseOut(nav_id) {
	if (nav_id != page) {
		var obj = document.images[nav_id];
		obj.src = 	"images/nav/" + nav_id + ".png";
	}

}

function navInit() {
	document.images[page].src = "images/nav/hover/" + page + ".png";
}


//-->