if (document.images)
  {
  a_off = new Image();
  a_off.src = "/home_off.gif";
  b_off = new Image();
  b_off.src = "/contact_off.gif";
  c_off = new Image();
  c_off.src = "/pictures_off.gif";
  d_off = new Image();
  d_off.src = "/about_off.gif";
  e_off = new Image();
  e_off.src = "/bender_off.gif";
  f_off = new Image();
  f_off.src = "/machining_off.gif";

  a_on = new Image();
  a_on.src = "/home_on.gif";
  b_on = new Image();
  b_on.src = "/contact_on.gif";
  c_on = new Image();
  c_on.src = "/pictures_on.gif";
  d_on = new Image();
  d_on.src = "/about_on.gif";
  e_on = new Image();
  e_on.src = "/bender_on.gif";
  f_on = new Image();
  f_on.src = "/machining_on.gif";
  }

function imgswap(img1, img2)
  {
  if (document.images)
    {
    document[img1].src = eval(img2 + ".src");
    }
  }