

<!--// adapted from javascript by Shawn Stepper stepper@vip.stanford.edu>



// Determine Web Browser Version
n3 = (((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 3 )) || ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 )))

// Preload document images for onMouseOver events
function preload() {
        this.length = preload.arguments.length;
        for (var i = 0; i < this.length; i++) {
                this[i] = new Image();
                this[i].src = preload.arguments[i];
        }
} // End of preload function

// Function to display new image on onMouseOver and onMouseOut event
function select(orig, replace) {
    if (n3) {
       for (var i=0; i < document.images.length; i++) {
          origimg = document.images[i].src.substring(document.images[i].src.lastIndexOf("/") + 1,document.images[i].src.length);

          if (origimg == orig) {
             var replaceindex = i;
             var inout = "in";
             directory = document.images[replaceindex].src.substring(0, document.images[replaceindex].src.lastIndexOf("/") + 1);
                        }

          if (origimg == replace) {
             var replaceindex = i;
             var inout = "out";
             directory = document.images[replaceindex].src.substring(0, document.images[replaceindex].src.lastIndexOf("/") + 1);
          }
                }
         if (inout == "out") {
               document.images[replaceindex].src = directory + orig;
                } else {
               document.images[replaceindex].src = directory + replace;
                }
        }
} // End of select function

// -------------------- Change Below Here ------------------------------

// List of images to load - Add any images that will be a onMouseOver event.
if (n3) {
       var stuff = new preload(
//
       "images/dots/dotlit1.gif",
       "images/dots/dotlit2.gif",
       "images/dots/dotlit3.gif",
       "images/dots/dotlit4.gif",
       "images/dots/dotlit5.gif",
       "images/dots/dotlit6.gif",
       "images/dots/dotlit7.gif");
       }
// -->