', implode(range(1, count(file($file))+1), '
'), '';
highlight_file(htmlentities($file));
echo "
";
display_form($file);
}
function display_form($file) {
echo '
';
if ($file!==$NULL) { echo ' Show posting box '; }
echo '
';
}
if ($_GET[id]) {
if ($rand) { $file = 'file'.$rand.'.txt'; unset ($rand); }
else { $file = 'file'.$_GET[id].'.txt'; }
if ($file) {
highlight_num($file);
}
else {
die("FILE DOESNT EXIST");
}
}
else {
display_form($NULL);
}
?>