if (isset($_GET['highlight']) && $_GET['highlight'] !== '') { echo '' . PHP_EOL; } else { } ?>