'; echo ''.basename(getcwd()).' / '; echo 'search'; echo '
'; echo ''; echo ' | '; } else { // echo htmlspecialchars($CONFIG['title_full']); } if(isset($_GET['group'])) { $searching = $_GET['group']; } else { $searching = $config_name; } echo ''; echo '