menu_array = new Array();
menu_array[0] = ["./index.html", 	"Startseite"];
menu_array[1] = ["./der_chor.html",	"Der Chor"];
menu_array[2] = ["./chorleitung.html",	"Chorleitung"];
menu_array[3] = ["./shanties.html",	"Shanties"];
menu_array[4] = ["./kontakt.html",	"Kontakt"];
menu_array[5] = ["./veranstaltungen.html","Termin"];
menu_array[6] = ["./musik.html",          "Musik"];

// menu_array[5] = ["./html/gastebuch.php",	"Gästebuch"];

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"; UL.style.backgroundColor = "silver";
  }
  function ausblenden() {
    sucheUL(this.firstChild).style.display = "none";
  }

  window.onload=hoverIE;
}

function show_menu(current) {

    document.write("<div id=\"Nav\">");
    document.write("<ul id=\"Navigation\">");
    for (var i = 0; i < menu_array.length; ++i) {
        document.write("<li><a "+(current==i?"id=aktuell ":"")+"href=\""+menu_array[i][0]+"\">"+menu_array[i][1]+"</a></li>");
    }
    document.write("</ul>");
    document.write("</div>");
}