var imgs=new Array();

function raus() {
  document.getElementById("karte1").src='/images/1mal1.gif';
} // function raus()

function rein(bild) {
  document.getElementById("karte1").src=imgs[bild].src;
} // function raus()

function preload(bilder) {
  var i;
  
  for (i=0;i<bilder.length;i++) {
    imgs[i] = new Image;
    imgs[i].src = bilder[i];
  } // for (i=1;i<=bilder.length;i++)
}