if (document.images) {


 
        
        buton13= new Image ();
        buton13.src= "img/submit1.jpg";
        butonJ13= new Image ();
        butonJ13.src= "img/submit2.jpg";

        buton14= new Image ();
        buton14.src= "img/reset1.jpg";
        butonJ14= new Image ();
        butonJ14.src= "img/reset2.jpg";
        
        buton4= new Image ();
        buton4.src= "img/find1.jpg";
        butonJ4= new Image ();
        butonJ4.src= "img/find2.jpg";

        

       
        
        



        

   }


        function AnimateImage(imgid,imgnew) {
      if (document.images) {
        document.images[imgid].src=eval(imgnew + ".src");
           }
   }