function mouse_in( name )
{
  eval( "document.images[\"" + name + "\"].src = \"" + "img//" + name + "_mouse.jpg\"" );
}

function mouse_out( name )
{
  eval( "document.images[\"" + name + "\"].src = \"" + "img//" + name + ".jpg\"" );
}