<!---

Normal1 = new Image();
Normal1.src = "../img/b_ansprechp.gif";     
Highlight1 = new Image();
Highlight1.src = "../img/b_ansprechp_hl.gif";

Normal2 = new Image();
Normal2.src = "../img/b_anfahrt.gif";     
Highlight2 = new Image();
Highlight2.src = "../img/b_anfahrt_hl.gif"; 

Normal3 = new Image();
Normal3.src = "../img/b_impressum.gif";   
Highlight3 = new Image();
Highlight3.src = "../img/b_impressum_hl.gif"; 

function Bildwechsel(Bildnr,Bildobjekt) {
 window.document.images[Bildnr].src = Bildobjekt.src;
}


//-->