document.write('</div>');
document.write('<div id="header">');
document.write('<div style="float:right;"><a href="http://dev.day.com/" align="right"><img src="logo.png" align="right"></a></div><a href="index.html">JCR v1.0 Specification (HTML version)</a><br>Content Repository for Java Technology API Specification (JSR-170)</div><div id="wrap-right"><div id="content">');