header = '<link rel="stylesheet" type="text/css" href="http://www.bintest.com/style.css"/> \
<div id="header"><h1 class="header"><a href="http://www.bintest.com">bintest.com</a>\
<a href="/rss.xml"> \
<img src="/rssblack.png" height="32" width="32"> </h1>\
</a>.\
</div> \
<div id="nav"><ul id="nav">\
<li><a href="/index.php">Home</a></li>\
<li><a href="/code.php">Projects</a></li>\
<li><a href="/research.php">Bugs</a></li>\
<li><a href="/about.php">About</a></li>\
<li><a href="/links.php">Links</a></li>\
</ul>\</div>\
' ;

document.write(header);