function Suche(eingabe) {
var Suchwort = eingabe.Suchbegriff.value; 
Suchwort = Suchwort.replace(/ä/,"&auml;");
Suchwort = Suchwort.replace(/ö/,"&ouml;");
Suchwort = Suchwort.replace(/ü/,"&uuml;");
Suchwort = Suchwort.replace(/Ä/,"&Auml;");
Suchwort = Suchwort.replace(/Ö/,"&Ouml;");
Suchwort = Suchwort.replace(/Ü/,"&Uuml;");
Suchwort = Suchwort.replace(/ß/,"&szlig;");
if ( ! eingabe.GrossKlein.checked ){ 
	 if ( eingabe.Wortgrenze.checked ) {
	 		eval('Suchenach = /\\b'+Suchwort+'\\b/i');
	 } else {
	 		eval('Suchenach = /'+Suchwort+'/i');
	 }
} else {
	 if ( eingabe.Wortgrenze.checked ) {
	 	 eval('Suchenach = /\\b'+Suchwort+'\\b/');
	 } else {
	 	 eval('Suchenach = /'+Suchwort+'/');
	 }
}

with ( top.frames['inhalt'].document ) {
  writeln('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">' );
  writeln('<HTML><HEAD>' );
  writeln('<link rel=stylesheet type="text/css" href="../HTML/Layout.css">' );
  writeln('<style type="text/css">' );
  writeln('<!--' );
  writeln('div { width: 90%; padding: 5px; height: 30px;font-family: verdana, helvetica; font-size: 12px; color: #000066; border-bottom: 1px solid #000033;}' );
  writeln('.ergh { background-color: #EDFEFF; }' );
  writeln('.ergd { background-color: #CBDCDD; }' );
  writeln( '-->' );
  writeln( '</STYLE>' );
  writeln ( '</HEAD><BODY BACKGROUND="../IMAGES/paper.jpg" style=\"width: 100%\">' );
  style = "ergd";
  gefunden = 0;

/* Beginn Suche */


  for ( ii=0; ii < Suchindex.length ; ii++ ) {
    if ( Suchenach.test(Suchindex[ii]) ) { 
       if ( style == "ergd" ) { style = "ergh" }
       else { style = "ergd" }
       writeln( '<DIV CLASS="'+style+'">' );
       writeln( '<A CLASS="Text" HREF="'+Dateiliste[ii]+'" TARGET=\"Text\">'+Suchindex[ii]+'</A></DIV>' );
       gefunden++
    }
  }
  if ( ! gefunden ) {
    writeln('<DIV class="ergh">Zu "'+Suchwort+'" wurde leider kein Eintrag gefunden.</div>');
}
  writeln( '</BODY></HTML>' );
  close();
}
}
function TextSuche(eingabe) {
var Suchwort = eingabe;
alert( Suchwort.length );
Suchwort = Suchwort.replace(/ä/,"&auml;");
Suchwort = Suchwort.replace(/ö/,"&ouml;");
Suchwort = Suchwort.replace(/ü/,"&uuml;");
Suchwort = Suchwort.replace(/Ä/,"&Auml;");
Suchwort = Suchwort.replace(/Ö/,"&Ouml;");
Suchwort = Suchwort.replace(/Ü/,"&Uuml;");
Suchwort = Suchwort.replace(/ß/,"&szlig;");
if ( ! eingabe.GrossKlein.checked ){ 
	 if ( eingabe.Wortgrenze.checked ) {
	 		eval('Suchenach = /\\b'+Suchwort+'\\b/i');
	 } else {
	 		eval('Suchenach = /'+Suchwort+'/i');
	 }
} else {
	 if ( eingabe.Wortgrenze.checked ) {
	 	 eval('Suchenach = /\\b'+Suchwort+'\\b/');
	 } else {
	 	 eval('Suchenach = /'+Suchwort+'/');
	 }
}

with ( top.frames['inhalt'].document ) {
  writeln('<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">' );
  writeln('<HTML><HEAD>' );
  writeln('<link rel=stylesheet type="text/css" href="../HTML/Layout.css">' );
  writeln('<style type="text/css">' );
  writeln('<!--' );
  writeln('div { width: 90%; padding: 5px; height: 30px;font-family: verdana, helvetica; font-size: 12px; color: #000066; border-bottom: 1px solid #000033;}' );
  writeln('.ergh { background-color: #EDFEFF; }' );
  writeln('.ergd { background-color: #CBDCDD; }' );
  writeln( '-->' );
  writeln( '</STYLE>' );
  writeln ( '</HEAD><BODY BACKGROUND="../IMAGES/paper.jpg" style=\"width: 100%\">' );
  style = "ergd";
  gefunden = 0;

/* Beginn Suche */


  for ( ii=0; ii < Suchindex.length ; ii++ ) {
    if ( Suchenach.test(Suchindex[ii]) ) { 
       if ( style == "ergd" ) { style = "ergh" }
       else { style = "ergd" }
       writeln( '<DIV CLASS="'+style+'">' );
       writeln( '<A CLASS="Text" HREF="'+Dateiliste[ii]+'" TARGET=\"Text\">'+Suchindex[ii]+'</A></DIV>' );
       gefunden++
    }
  }
  if ( ! gefunden ) {
    writeln('<DIV class="ergh">Zu "'+Suchwort+'" wurde leider kein Eintrag gefunden.</div>');
}
  writeln( '</BODY></HTML>' );
  close();
}
}
function pruefe_zeichen(eingabe) {
laenge = eingabe.length;
alert( eingabe.charCodeAt(laenge));
}
