function rollover(bildname, dateiname) {
  if (document.images) {
    document.images[bildname].src = dateiname;
  }
}