// Preoload der einzelnen Kartenausschnitte

var maps = Array();

maps[0] = new Image(); maps[0].src = "fileadmin/images/content/karten/karte.gif";
maps[1] = new Image(); maps[1].src = "fileadmin/images/content/karten/sgh.gif";
maps[2] = new Image(); maps[2].src = "fileadmin/images/content/karten/goettingen.gif";
maps[3] = new Image(); maps[3].src = "fileadmin/images/content/karten/dessau.gif";
maps[4] = new Image(); maps[4].src = "fileadmin/images/content/karten/halle.gif";
maps[5] = new Image(); maps[5].src = "fileadmin/images/content/karten/hamburg.gif";
maps[6] = new Image(); maps[6].src = "fileadmin/images/content/karten/berlin.gif";

function changeMap(map) {
  var karte = document.getElementById("karte");
  
  karte.src = maps[map].src;
}
function resetMap() {
  var karte = document.getElementById("karte");
  karte.src = maps[0].src;
}