Normal1 = new Image(); 
Normal1.src = "static/arrow_leer.gif"; 
Highlight1 = new Image(); 
Highlight1.src = "static/arrow.gif";

function Bildwechsel(Bildnr,Bildobjekt)

 {

  window.document.images[Bildnr].src = Bildobjekt.src;

 }



function MM_preloadImages() 

 { //3.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];}}

 }