";
//TITLE GOES HERE
echo "";
echo"
"
;//end echo
//if there's an mid file, list it
if (false)
{
echo "Music (midi)";
}
//if there's an mp3 file, list it
if (false)
{
echo "Music (mp3)";
}
//if there's a source file, list it.
if (false)
{
echo "Music (source)";
}
echo "";
$text = file_get_contents($_GET["file"]);
$text = nl2br($text);
// $text1 = htmlspecialchars($text, ENT_QUOTES);
echo $text;
}
?>