// JavaScript Document
function  top_nav_over (nav_id) {
	document.getElementById(nav_id).src="images/"+nav_id+"2.jpg";
}

function  top_nav_out(nav_id) {
	document.getElementById(nav_id).src="images/"+nav_id+".jpg";
}