0){ $contents = file_get_contents("log.html"); echo $contents; } ?>