include("header.php");?>
$vertaal = strtolower(trim($_GET['vertaal'])); if ((isset($vertaal))&&(strlen($vertaal)>2)){ $file = file("dictionar.db"); $size=sizeof($file); $i=0; while ($i<$size){$i++; $buffer = strtolower($file[$i]); $result = explode(":",$buffer); if(stristr($buffer,$vertaal)) { $result[0]=str_replace("$vertaal","$vertaal",$result[0]); $result[1]=str_replace("$vertaal","$vertaal",$result[1]); echo " | ||
$result[0] | $result[1] |