
<!-- hide
var objCount = 0; // number of (changing) images on web-page
function preload(name, first, second) {  
  // preload images and place them in an array
  if (browserOK) {     
    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){
  if (browserOK) {
     for (i = 0; i < objCount; i++) {
      if (document.images[pics[i][2]] != null)
        if (name != pics[i][2]) { 
          // set back all other pictures
          if (pics[i][0].complete)
            document.images[pics[i][2]].src = pics[i][0].src;
        } else {
            // show the second image because cursor moves across this image
            if (pics[i][1].complete)
              document.images[pics[i][2]].src = pics[i][1].src;
        }
    }
  }
}
function off(){
  if (browserOK) {
     for (i = 0; i < objCount; i++) {
      // set back all pictures
      if (document.images[pics[i][2]] != null) 
        if (pics[i][0].complete)
            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("link1", "images/assup.gif", "images/assdown.gif")
preload("link2", "images/pwritesup.gif", "images/pwritesdown.gif")
preload("link3", "images/infoup.gif", "images/infodown.gif");
preload("link4", "images/anewsup.gif", "images/anewsdown.gif");
preload("link5", "images/inewsup.gif", "images/inewsdown.gif");
preload("link6", "images/servicesup.gif", "images/servicesdown.gif");
preload("link7", "images/mshipup.gif", "images/mshipdown.gif");
preload("link8", "images/pubup.gif", "images/pubdown.gif");
preload("link9", "images/homeup.gif", "images/homedown.gif");
preload("link10", "images/eventsup.gif", "images/eventsdown.gif");
preload("link11", "images/memdirup.gif", "images/memdirdown.gif");
preload("link12", "images/sitesup.gif", "images/sitesdown.gif");
preload("link13", "images/contactup.gif", "images/contactdown.gif");
preload("link14", "images/disclaimerup.gif", "images/disclaimerdown.gif");
// -->