+ //* DEBUG: */ echo $search."/<font color=\"red\">".htmlentities($line)."</font><br />\n";
+ $found = strpos($line, $search);
+ //* DEBUG: */ echo "FOUND: <font color=\"brown\">";
+ //* DEBUG: */ var_dump($found);
+ //* DEBUG: */ echo "</font><br />\n";
+ if ($found !== false) $next = 0;