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

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