

 <!--

                     browserName = navigator.appName;
                     browserVer = parseInt(navigator.appVersion);
                     if ((browserName = "Netscape" && browserVer >= 3) || (browserVer
                 >=4)) {
                         version = "n3";
                     } else {
                         version = "n2";
                     }

                     if (version == "n3") {


                     Normalbutton1 = new Image();             /* Erster Button */
                     Normalbutton1.src = "images/menue_08.gif";
                     Highlightbutton1 = new Image();
                     Highlightbutton1.src = "images/menue_o_08.gif";


                     Normalbutton2 = new Image();             /* 2ter Button */
                     Normalbutton2.src = "images/menue_10.gif";
                     Highlightbutton2 = new Image();
                     Highlightbutton2.src = "images/menue_o_10.gif";


                     Normalbutton3 = new Image();             /* 3ter Button */
                     Normalbutton3.src = "images/menue_12.gif";
                     Highlightbutton3 = new Image();
                     Highlightbutton3.src = "images/menue_o_12.gif";


                     Normalbutton4 = new Image();             /* 4ter Button */
                     Normalbutton4.src = "images/menue_14.gif";
                     Highlightbutton4 = new Image();
                     Highlightbutton4.src = "images/menue_o_14.gif";


                     Normalbutton5 = new Image();             /* 5ter Button */
                     Normalbutton5.src = "images/menue_16.gif";
                     Highlightbutton5 = new Image();
                     Highlightbutton5.src = "images/menue_o_16.gif";

                     Normalbutton6 = new Image();             /* 6ter Button */
                     Normalbutton6.src = "images/menue_18.gif";
                     Highlightbutton6 = new Image();
                     Highlightbutton6.src = "images/menue_o_18.gif";


                     Normalbutton7 = new Image();             /* 7ter Button */
                     Normalbutton7.src = "images/menue_20.gif";
                     Highlightbutton7 = new Image();
                     Highlightbutton7.src = "images/menue_o_20.gif";


                     Normalbutton8 = new Image();             /* 8ter Button */
                     Normalbutton8.src = "images/menue_22.gif";
                     Highlightbutton8 = new Image();
                     Highlightbutton8.src = "images/menue_o_22.gif";


                  }

                     function ion(Bildnr)
                     {
                     if (version=="n3") {

                      window.document.images[Bildnr].src = eval("Highlight" +
                 Bildnr).src;
                     }
                     }

                     function ioff(Bildnr)
                     {
                     if (version=="n3") {
                      window.document.images[Bildnr].src = eval("Normal" + Bildnr).src;
                     }
                     }

                 //-->