document.write('  <a href="../index.html">Home Page</a> '); 
document.write('| <a href="../feedback.html">Contact Us</a> '); 
document.write('| <a href="../search.html">Search</a> '); 
document.write('| <a href="../shakes/shakes.html">Shakespeare</a> '); 
document.write('| <a href="../newstuff.html">New Theatres</a> '); 
document.write('| <a href="../misc/resources.html">Resources</a> ');