document.write('<span class="PageHeader"><table border="0"><tr><td><p>[<a href="http://hci.stanford.edu/research/paper/documentation/">Documentation</a>] [<a href="http://hci.stanford.edu/research/paper/documentation/tutorials/">Tutorials</a>]&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[<a href="http://hci.stanford.edu/research/paper/">R3 Home Page</a>]</p></td></tr></table></span><hr noshade color="#DDDDDD" size="1"/>');