 var whitespace = " \t\n\r";
 var Suchstring = ""; var Eingabefenster  = parent.frames['oben']; var Ausgabefenster = parent.frames['main']; var Eingabe  = Eingabefenster.document; var Ausgabe = Ausgabefenster.document;

 //********************** neue Suche ******************
 function suchen( str )
 {

 var gefunden = true; // ODER false
 var s = "";
 var q = "";
 s = str.toLowerCase();
 q = Suchstring.toLowerCase();

 if (document.forms[0].suchtyp[0].checked)
 {
        gefunden = true;
 }
 if (document.forms[0].suchtyp[1].checked)
 {
        gefunden = false;
 }
 if (document.forms[0].suchtyp[2].checked)
 {
        gefunden = false;
 }


 if (document.forms[0].suchtyp[0].checked || document.forms[0].suchtyp[1].checked)
 {
         arrayOfStrings = q.split(" ");
         for (var i=0; i < arrayOfStrings.length; i++)
         {
                 if (document.forms[0].suchtyp[0].checked)
                 {
                        if (gefunden)
                        {
                                gefunden = gefunden &&  s.indexOf( arrayOfStrings[i] ) > -1;
                        }
                 }
                 if (document.forms[0].suchtyp[1].checked)
                 {
                        gefunden = gefunden || s.indexOf( arrayOfStrings[i] ) > -1;
                 }
         }
 }

 // Phrase
 if (document.forms[0].suchtyp[2].checked)
 {
        gefunden = s.indexOf( q ) > -1;
 }

 return( gefunden );
 }


function charInString (c, s)
{   for (i = 0; i < s.length; i++)
    {   if (s.charAt(i) == c) return true;
    }
    return false
}


function stripInitialWhitespace (s)

{   var i = 0;

    while ((i < s.length) && charInString (s.charAt(i), whitespace))
       i++;

    return s.substring (i, s.length);
}

 function AusgabeTrefferliste()
 {

 Suchstring = stripInitialWhitespace (Eingabefenster.document.Suchformular.Suchstring.value);
 Ausgabefenster.document.open(); Ausgabefenster.document.writeln("<html>"); Ausgabefenster.document.writeln("<head>"); Ausgabefenster.document.writeln("<title>"); Ausgabefenster.document.writeln("</title>"); Ausgabefenster.document.writeln("</head>"); Ausgabefenster.document.write('<body bgcolor="white"  topmargin="0" leftmargin="0" link="black"  vlink="black"  alink="black">'); Ausgabefenster.document.write('<font color="#000000" face="Arial">'); Ausgabefenster.document.writeln('<br><p align="left"><b>&nbsp;Suchergebnis: ', Suchstring, '</b>' ); Ausgabefenster.document.writeln("<ol>"); for (var i=1 ; i<Eintrag.length; i++)
 {
  if ( suchen( Eintrag[i].Title + " " + Eintrag[i].Keywords + " " + Eintrag[i].Description) )
 // if ( suchen( Eintrag[i].Title ) ||   suchen( Eintrag[i].Keywords ) ||   suchen( Eintrag[i].Description ) )
 {
 Ausgabefenster.document.writeln("<li><p>"); Ausgabefenster.document.writeln( Eintrag[i].Formatieren() ); Ausgabefenster.document.writeln("</p></li>"); }
 }
 Ausgabefenster.document.writeln("</ol>"); Ausgabefenster.document.writeln("</font>"); Ausgabefenster.document.writeln("</body>"); Ausgabefenster.document.writeln('</html>'); Ausgabefenster.document.close(); }
 function Pruefen()
 {
 if ( Eingabefenster.document.Suchformular.Suchstring.value.length < 4 )
 {
 alert( "Bitte geben Sie mehr als 3 Zeichen ein!" ); Eingabefenster.document.Suchformular.Suchstring.focus(); }
 else
 {
 AusgabeTrefferliste(); }
 }
 function Suchbegriff()
 {
 Pruefen(); return (false); }

 function Formatieren()
 {
  // with( this )
 {
 var e = "";
 e = e + "<a href=\"JavaScript:document.location='" + this.Url + "'\">";
 e = e + "<b>" + this.Title + "</b>\n";
 e = e + "</a>\n";
 if ( this.Description )
 e = e + "<br>" + this.Description + "\n";
 }
 return(e);
 }


 function Element(Url,Title,Description,Keywords)
 {
 this.Url           = Url; this.Title         = Title; this.Description   = Description; this.Keywords      = Keywords; this.Formatieren   = Formatieren; }

 Eintrag    = new Array();