	' . $_GET['logfile']; ?>
<?=$contents;?>