function bildervorladen() {
    if (document.images) {
    buttonliste = new Array();
    for (zaehler in rollover_buttons){
     buttonliste[zaehler] = new Image();
     buttonliste[zaehler].src = rollover_buttons[zaehler];
        }
      }
   }