//#################Hallenplaene hover#######################

var karte;
var map;

function change(karte, map){
    document.getElementById(map).src = "../images/layout/deutschland/"+karte;
    }

function changeToDefault(karte, map){
   //document.getElementById(map).src = "../images/layout/deutschland/"+karte;
   }

//#################Hallenplaene hover ende##################