function chgImage(name,over)
{
  if(window.document.images) 
  {
    if(over)
      window.document.images[name].src = "imgs/" + name + "_ov.jpg";
    else
      window.document.images[name].src = "imgs/" + name + ".jpg";
  }
}