// JavaScript Document
function zoeken
{
this.groter=groter;
this.kleiner=kleiner;

var platf = navigator.platform.indexOf("Mac");
  if (platf == 0) {
    fntSz = "10";
  } else {
    fntSz = "8";
  }

  function groter() {
    fntSz = Number(fntSz) + 1;
    document.getElementById('table1').style.fontSize = fntSz+"pt";
 document.body.style.fontSize = fntSz+"pt";
  }

  function kleiner() {
    fntSz = Number(fntSz) - 1;
document.getElementById('table1').style.fontSize = fntSz+"pt";
    document.body.style.fontSize = fntSz+"pt";
  }

if (isset($DoIt))
{
	function read_dir($dir, $q, $cut,$plus,$target,$dontsearch)      
	{
		global $hit;      
		if (is_dir($dir))
		{
			if ($dh = opendir($dir))                             
			{                                     
				while (($map = readdir($dh)) !== false)                                 
				{                                          
					if ((substr($map,-4) == "html" || substr($map,-3) == "htm") &&!in_array($map,$dontsearch))                                        
					{                                                   
						$filename = $dir.$map;                                                  
						if(file_exists($filename))                                                   
						{                                                     
							$fp = fopen($filename, "r");                                                     
							$guest_data = fread($fp, filesize($filename));                                                     
							fclose($fp);                                                   
						}                                                  
						if(!isset($hit)) $hit = "nono";                                                  
						if(strstr(strtolower($guest_data), strtolower($q)) == true)                                                  
						{                                                      
							$hit = "set";                                                      
							$string1 = strip_tags($guest_data);                                                      
							$needle = $q;                                                      
							//lengte van zoekterm                                                      
							$needle_len = strlen($needle);                                                      
							//Positie ervan bepalen                                                      
							$position_num = strpos($string1,$needle) + $needle_len;                                                      
							//De string splitsen voor weergave                                                      
							$result_string = substr("$string1",0,($position_num) + $plus);                                                      
							if (strlen($result_string)>80) $result_string = "... " . substr($result_string,$cut);                                                      
							// $q bold maken                                                      
							$result_string = preg_replace('/'.preg_quote($q).'/i' , '<font style="BACKGROUND-COLOR: #EEEEEE"><b>$0</b></font>', $result_string);
							// titel eruit filteren                                                      
							// optioneel (hier leest ie de titel tussen de tags van je html uit                                                      
							// als je deze verwijder moet je $linkTitle in de echo hieronder ook verwijderen.                                                      
							$array = explode("</title>",$guest_data);                                                      
							$titleArray_1 = explode("</title>",$array[0]);                                                      
							$linkTitle = $titleArray_1[1];                                                      
							//resultaat weergeven                                                      
							echo <br><a href="$map" target="$target">$linkTitle</a><br><span class='plaintekst'>$result_string </span><a href="$map" target="$target"> >> </a><br>;
							// I need cookies                                                   
							}                                        
						}                                 
					}                            
				}                             
				closedir($dh);           
				}      
			}
			// end function      
			// AANTAL DINGEN CONFIGUREREN      
			// lengte van de tekst voor de zoekterm in de output      
			$cut = "-160";      
			// lengte van de tekst na de zoekterm in de output      
			$plus = "160";      
			// naam van het targetframe      
			$target = "_blank";      
			// dir waarin gezocht moet worden      
			// in dit geval de dir waarin dit script ook staat      
			$directory = "../htdocs";      
			// minimaal aantal karakters voor zoektem      
			// let op!! moet altijd minimaal 1 zijn      
			$min = 1;      
			// namen van html paginas die niet doorzocht hoeven te worden      
			// scheiden door een komma  ('pagina.html','test.html','jaja.htm');      
			$dontsearch = array('pagina.html');      
			// checken of zoekterm OK ingegeven is      
			if(strlen($q) < $min)      
			{          
				echo "Voer minimaal $min karakters als zoekterm in";      
			}      
			else      
			{          
				// directory doorzoeken          
				read_dir($directory, $q,$cut,$plus,$target,$dontsearch);          
				if (isset($hit) && $hit != "set") echo "Er zijn geen paginas gevonden die voldeden aan uw zoekopdracht.";      
			}
		}// end if (isset($DoIt))
}