function displayOver(image_name) {
      document [image_name].src = "images/a2.gif";
   }

   function displayOut(image_name) {
      document [image_name].src = "images/a1.gif";
   }