//Mouseover für Menübilder
var a
a= new Array();
a[0]=new Image;
a[0].src="images/1.jpg";
a[1]=new Image;
a[1].src="images/1_over.jpg";
a[2]=new Image;
a[2].src="images/2.jpg";
a[3]=new Image;
a[3].src="images/2_over.jpg";
a[4]=new Image;
a[4].src="images/3.jpg";
a[5]=new Image;
a[5].src="images/3_over.jpg";
a[6]=new Image;
a[6].src="images/4.jpg";
a[7]=new Image;
a[7].src="images/4_over.jpg";
a[8]=new Image;
a[8].src="images/5.jpg";
a[9]=new Image;
a[9].src="images/5_over.jpg";
a[10]=new Image;
a[10].src="images/6.jpg";
a[11]=new Image;
a[11].src="images/6_over.jpg";



function roll(img,nb) {
   eval("img.src=a["+nb+"].src");
}


if(window.navigator.systemLanguage && !window.navigator.language) {
  function hoverIE() {
    var LI = document.getElementById("navigation").firstChild;
    do {
      if (sucheUL(LI.firstChild)) {
        LI.onmouseover=einblenden; LI.onmouseout=ausblenden;
      }
      LI = LI.nextSibling;
    }
    while(LI);
  }

  function sucheUL(UL) {
    do {
      if(UL) UL = UL.nextSibling;
      if(UL && UL.nodeName == "UL") return UL;
    }
    while(UL);
    return false;
  }

  function einblenden() {
    var UL = sucheUL(this.firstChild);
    UL.style.display = "block"; 
  }
  function ausblenden() {
    sucheUL(this.firstChild).style.display = "none";
  }

  window.onload=hoverIE;
}