function mouse_over( controller ) { 
  c=document.getElementById(controller);
  c.src="gfx/"+c.id+"_over.png";
  //  eval(controller+".src='gfx/'+"+controller+".alt+'_over.png'");
}

function mouse_out( controller ) { 
  c=document.getElementById(controller);
  c.src="gfx/"+c.id+".png";

  //  eval(controller+".src='gfx/'+"+controller+".alt+'.png'");
}