if (document.images)
{
  var img = new Image;

  img.src = "images/history_nrm.gif";
  img.src = "images/products_nrm.gif";
  img.src = "images/notes_nrm.gif";
  img.src = "images/distributor_nrm.gif";
  img.src = "images/contact_nrm.gif";
  img.src = "images/home_nrm.gif";

}

function changeimg(img, name)
{
  if (document.images)
    document.images[name].src=img;
}