home_high = new Image();
home_high.src = 'Homepagebutton_high.gif';
bezirk_high = new Image();
bezirk_high.src = 'Bezirkbutton_high.gif';
ort_high = new Image();
ort_high.src = 'Ortbutton_high.gif';
termin_high = new Image();
termin_high.src = 'Terminbutton_high.gif';
wohn_high = new Image();
wohn_high.src = 'Wohnbutton_high.gif';
haus_high = new Image();
haus_high.src = 'hausbutton_high.gif';
miet_high = new Image();
miet_high.src = 'Mietbutton_high.gif';
grund_high = new Image();
grund_high.src = 'grundbutton_high.gif';
gewerbe_high = new Image();
gewerbe_high.src = 'gewerbebutton_high.gif';
sonder_high = new Image();
sonder_high.src = 'sonderbutton_high.gif';
land_high = new Image();
land_high.src = 'landbutton_high.gif';

function bildWechsel (name, quelle){
// alte Bildquelle speichern für das Wiederherstellen des Bildes
document[name].oSrc = document[name].src; 
document[name].src = quelle;
}