function mouseOver(img_name, new_img)
   {
   document[img_name].src = new_img;
   }