\n"; $content = file_get_contents($file); print "\n" . ($content) . "\n"; print "
\n "; end_html(); ?>