//
// sub.js
//
    var img1 = new Image();
    img1.src = "../images/top_dull.gif";
    var img2 = new Image();
    img2.src = "../images/top_bright.gif";
    var img3 = new Image();
    img3.src = "../images/dot.gif";


   //
   // swapimages()
   //
   //     swap arbitrary numbers of images in HTML document
   //
   function swapimages(arglist)
   {
      //if (loaded==1) {                 // Don't swap until all loaded
         if (document.images) {        // NE3+, IE4+
              var i = 0;
              var imgname = "";
              var srcname = "";
              while ( i < swapimages.arguments.length-1) {
                 imgname = swapimages.arguments[i];
                 i++;
                 srcname = swapimages.arguments[i];
                 i++;
                 document.images[imgname].src = srcname;
              }
          }
       //}
    }