function nav_top(nav) {
  	document.getElementById("top"+nav).src="./images/top_navigation/nav_mouse_top"+nav+".jpg";
  	}
function nav_top_close(nav) {
 document.getElementById("top"+nav).src="./images/top_navigation/nav_top"+nav+".jpg";
	}