function menu(id){

 	document.getElementById(id).src="img/"+id+"o.gif";
  

}


function menu_out(id){

	document.getElementById(id).src="img/"+id+".gif";

}