function onmouse(name,over)
   {
     if(window.document.images)
     {
       if (over) {
         document.images[name].src = "pics/" + name + "o.png";
       }
       else {
        document.images[name].src = "pics/" + name + ".png";
      }
    }
   }