"; while($line=PMBP_getln($_GET['view'])) echo htmlentities($line); PMBP_getln($_GET['view'],true); echo ""; } } else { if (isset($_GET['view'])) echo $_GET['view']." ".F_MAIL_3."!"; } ?>