<?php

$no_file=<<<EOT
	<div class="no_file">
		<h1>The file you specified could not be found</h1>
		<p>The URL <a href="$url">$url</a> does not exist or could not be accessed</p>
		<fieldset>
			<legend>Information</legend>
			<ul>
				<li>Check this link for accuracy: <a href="$url">$url</a></li>
				<li>If the url uses a secure connection, you need make sure that your server isn't filtering the port in use (44 in most cases)</li>
				<li>Check that the server accepts the user agent that this parser identifies itself as</li>
			</ul>
		</fieldset>
	</div>
EOT;

function output_404($html){
	
	print $html['header1'];
	
	print DEFAULT_HEADER;
	
	print $html['no_file'];
	
	print $html['footer'];
	
}

?>