<!--

// Initialisierung



var Button = new Array();



Button[0] = "kontakt";



Button[1] = "sicher";



Button[2] = "boote";



Button[3] = "home";



var Markiert = "home";



parent.zeiger = "home";



var MarkFlag = 0;



var Anzahl = Button.length;



if (browserOK == true)



{       var Bild = new Array(Anzahl);



        // Bilddateien einlesen



        for (var i = 0; i < Anzahl; i++)



        {       var bname = Button[i];



                Bild[bname] = new Array(3);



                for (var j = 0; j < 3; j++)



                Bild[bname][j] = new Image();



                Bild[bname][0].src = "../images/" + bname + ".gif";



                Bild[bname][1].src = "../images/" + bname + "_o.gif";



                Bild[bname][2].src = "../images/" + bname + "_d.gif";



        }



}

// Initialmarkierung



function inimarknav()

{

         if (browserOK == true)



             document.images[Markiert].src = Bild[Markiert][2].src;



        checkmarknav();

}



function checkmarknav()

{

         if (Markiert != parent.zeiger)

         {

                 if (MarkFlag != 1)

                 {

                        document.images[Markiert].src = Bild[Markiert][0].src;



                        Markiert = parent.zeiger;



                        document.images[Markiert].src = Bild[Markiert][2].src;



                 }

         }

         else

                MarkFlag = 0;



        window.setTimeout ('checkmarknav()',200);

}



function an(name)



{

         if (Markiert != name && browserOK == true)



             document.images[name].src = Bild[name][1].src;

}







function aus(name)



{       if (Markiert != name && browserOK == true)



                document.images[name].src = Bild[name][0].src;

}







// Button markieren und Frame laden



function mark(name)



{       if (Markiert != name && browserOK == true)



        {       document.images[Markiert].src = Bild[Markiert][0].src;



                document.images[name].src = Bild[name][2].src;



                Markiert = name;



                  MarkFlag = 1;

        }



}





        // -->