include("a0.php");
$src_only = $_GET['src'];
$name = $_GET['name'];
$ex = ex_get($name);
if (!$src_only) {
print_h($name);
if (!$ex) {
print_f();
exit;
}
echo "
\n";
} else {
header("Content-Type: text/plain");
}
?>
if (!$src_only) {
echo "View HTML
\n";
echo "
\n";
print_f();
}
?>