document.write('<ul>');
document.write('	<li><a href="index.html">Home</a></li>');
document.write('	<li><a href="Vita.htm">Vitæ</a></li>');
document.write('	<li><a href="Ricerca.htm">Research</a></li>');
document.write('	<li><a href="Didattica.htm">Didattica<br><font color="#df0005">in Italian</font></a></li>');
document.write('	<li><a href="Tesi.htm">Thesis</a></li>');
document.write('	<li><a href="Pubblicazioni.htm">Publications</a></li>');
document.write('	<li><a href="Links.htm">Links</a></li>');
document.write('</ul>');