 var whitespace = " \t\n\r";
 var Suchstring = ""; var Eingabefenster  = parent.frames['navigation']; 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="#FFFFFF" text="#000000" link="#000066" vlink="#FF0000" alink="#000066" background="../Shop/images/bg_stone.gif">'); 
 Ausgabefenster.document.write('<font color="#000000">'); 
 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();