function print_head(){
	if(top.location.href == location){
		document.write('		<div id="alt_nav">');
		print_nav();
		document.write('			<br/>');
		document.write('			<hr/>');
		document.write('		</div>');
	}
}
function print_foot(){
	if(top.location.href == location){
		document.write('		<div id="alt_nav">');
		document.write('			<br/>');
		document.write('			<hr/>');
		document.write('			<br/>');
		print_nav();
		document.write('		</div>');
	}
}
function print_nav(){
	document.write('			<a href="index.html"     title="Home Page"             >Home</a>');
	document.write('			|');
	document.write('			<a href="timetable.html" title="Timetable Information" >Timetable</a>');
	document.write('			|');
	document.write('			<a href="fares.html"     title="Train Fares"           >Fares</a>');
	document.write('			|');
	document.write('			<a href="pictures.html"  title="Photographs"           >Pictures</a>');
	document.write('			|');
	document.write('			<a href="contact.html"   title="Contact"               >Contact</a>');
}