<!--

/* mit diesen beiden Funktionen läuft die Roll-Over-Mimik bei wechselnden Image-Buttons in Navigations-Menüs 20.9.2006 */

var grafikLaden = new Array();

function preload() {
  if (document.images) {
    var Bild = preload.arguments;
    for (var i=0; i < preload.arguments.length; i++) {
       grafikLaden[i] = new Image;
       grafikLaden[i].src = Bild[i];
    }
  }
}

function mouseover() {
   if (document.images) {
       document[mouseover.arguments[0]].src=mouseover.arguments[1];
   }
}

//end -->