document.write('		<table border="0" cellpadding="0" cellspacing="0" width="800" align="center">');
document.write('		<tr><td>');
document.write('		<a href="../index.html">');
document.write('		<img src="../images/int_02.jpg" width="800" height="135" alt="Header" border="0"></a>');
document.write('		</td></tr>');
document.write('		<tr><td class="nbg">');
document.write('		<table border=0 cellpadding="8" cellspacing="2" width="100%"><tr><td>');
document.write('		<a href="../" class="nav">Home</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../research/" class="nav">Research</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../publications/" class="nav">Publications</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../people/" class="nav">People</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../news/" class="nav">News</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../news/movie.html" class="nav">Movies</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="../links/" class="nav">Links</a>');
document.write('		&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('		<a href="http://ssr.wikidot.com" class="nav">Internal</a>');
document.write('		</td></tr></table>');
document.write('		</td>');
document.write('		</tr>');
document.write('		</table>');