<!--
enter = new Image();
enter.src = "images/boxENTER.gif";
enter_on = new Image();
enter_on.src = "images/boxENTER_on.gif";

function swap(imgName,Bildobjekt) {
 var img = 0;
 while(window.document.images[img] && img > -1) {

   if(window.document.images[img].name == imgName) {
     window.document.images[img].src = Bildobjekt.src;
     img = -1;
   }
   else {
     img++;
   }
 }
}

//-->