document.write('<td valign="top" width="134px" nowrap bgcolor="#DFDFDF">')
document.write('<div id="nav">')
document.write('<ul>')
document.write('<li><a href="index.htm">Home</a></li>')
document.write('<li><a href="about.htm">About</a></li>')
document.write('<li><a href="dorms.htm">Dorm Pages</a></li>')
document.write('<li><a href="https://rescomp.stanford.edu/mediawiki/index.php/CS1C:_Introduction_to_Computing_at_Stanford">Staff resources <img src="images/lock.gif" border=0></a></li>')
document.write('<li><a href="contact.htm">Contact</a></li>')
document.write('</ul>')
document.write('</div>')
document.write('<div class="line"></div>')
document.write('</td>')