document.write('');
document.write('<div class="hr">&nbsp;</div> <!-- because IE sucks at styling HRs -->');
document.write('');
document.write('<div id="headerimg" class="clearfix">');
document.write('	<div id="header-overlay"> </div>');
document.write('	<div id="header-image"><img alt="header image" src="http://www.jonmccormack.com/images/name_banner.jpg" /></div>');
document.write('</div>');
document.write('');
document.write('<div class="hr">&nbsp;</div>');
document.write('<div class="menu">');
document.write('');
document.write('<ul>');
document.write('<li><a href="index.html">Home</a></li>');
document.write('<li><a href="photographs.html">Photographs</a></li>');
document.write('<li><a href="purchase.html">Purchase Prints</a></li>');
document.write('<li><a href="articles.html">Articles</a></li>');
document.write('<li><a href="contact.html">About Jon</a></li>');
document.write('</ul>');
document.write('');
document.write('</div>');
document.write('<div class="hr">&nbsp;</div>');