Normal1 = new Image();
Normal1.src = "i/fab_off.gif";
Highlight1 = new Image();
Highlight1.src = "i/fab_on.gif";

Normal2 = new Image();
Normal2.src = "i/w1_off.gif";
Highlight2 = new Image();
Highlight2.src = "i/w1_on.gif";

Normal3 = new Image();
Normal3.src = "i/w2_off.gif";
Highlight3 = new Image();
Highlight3.src = "i/w2_on.gif";

Normal4 = new Image();
Normal4.src = "i/w3_off.gif";
Highlight4 = new Image();
Highlight4.src = "i/w3_on.gif";

Normal5 = new Image();
Normal5.src = "i/w4_off.gif";
Highlight5 = new Image();
Highlight5.src = "i/w4_on.gif";

function Bildwechsel(Bildnr,Bildobjekt) {
 window.document.images[Bildnr].src = Bildobjekt.src;
}
function MM_preloadImages() { //v3.0
  var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
    var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
    if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}