<?php
$html = file_get_contents(__DIR__ . '/search_page.html');
$lines = explode("\n", $html);
foreach ($lines as $i => $line) {
    if (stripos($line, 'search') !== false || stripos($line, 'advanced') !== false) {
        echo ($i + 1) . ": " . trim($line) . "\n";
    }
}
