?php=… as a search argument"; break; } if (!($page=@file_get_contents($pnam))) { $errmess="Cannot find $pnam"; break; } header('Content-Type: text/plain'); echo $page; exit(); } while (false); ?>