Normal1 = new Image();
Normal1.src = "navi/anim1.gif";
Highlight1 = new Image();
Highlight1.src = "navi/anim1on.gif";







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