document.write('<ul>');
document.write('	<li><a href="index.html">Home</a></li>');
document.write('	<li><a href="staff.html">Staff</a></li>');
document.write('	<li><a href="research.html">Research</a></li>');
document.write('	<li><a href="laboratory.html">Laboratory</a></li>');
document.write('	<li><a href="video.html">Videos</a></li>');
document.write('	<li><a href="didattica.html">Didattica<br><font color="#df0005">in Italian</font></a></li>');
document.write('	<li><a href="publications.html">Publications</a></li>');
document.write('	<li><a href="connections.html">Research Connections</a></li>');
document.write('	<li><a href="visiting.html">Visiting Students</a></li>');
document.write('</ul>');