// navroll.js  javascript code// Handles rollover images for navbar links// May 5, 2003  by Bruce Harpervar pics = new Array();var objCount = 0; // number of (changing) images on web-pagefunction preload(name, first, second) {    // preload images and place them in an array    pics[objCount] = new Array(3);    pics[objCount][0] = new Image();    pics[objCount][0].src = first;    pics[objCount][1] = new Image();    pics[objCount][1].src = second;    pics[objCount][2] = name;    objCount++;  }function on(name){     for (i = 0; i < objCount; i++) {      if (document.images[pics[i][2]] != null)        if (name != pics[i][2]) {           // set back all other pictures          document.images[pics[i][2]].src = pics[i][0].src;        } else {           // show the second image because cursor moves across this image           document.images[pics[i][2]].src = pics[i][1].src;        }    }  }function off(){     for (i = 0; i < objCount; i++) {      // set back all pictures      if (document.images[pics[i][2]] != null)         document.images[pics[i][2]].src = pics[i][0].src;    }  }// preload images - you have to specify which images should be preloaded// and which Image-object on the wep-page they belong to (this is the first// argument). Change this part if you want to use different images (of course// you have to change the body part of the document as well)preload("extcom", "images/navbar/nbaec.gif", "images/navbar/nbaecov.gif");preload("license", "images/navbar/nblta.gif", "images/navbar/nbltaov.gif");preload("market", "images/navbar/nbmsc.gif", "images/navbar/nbmscov.gif");preload("news", "images/navbar/nbni.gif", "images/navbar/nbniov.gif");preload("pubs", "images/navbar/nbpoc.gif", "images/navbar/nbpocov.gif");preload("vizcom", "images/navbar/nbvbc.gif", "images/navbar/nbvbcov.gif");preload("wvtf", "images/navbar/nbwvtf.gif", "images/navbar/nbwvtfov.gif");// -->