document.write('<span class="topel3">')
document.write('<a class="rolnero" href="index.html">Messalini on-line</a> | ')
document.write('<a class="rolnero" href="javascript:addbookmark()">Aggiungi a Preferiti</a> | ')
document.write('<a class="rolnero" href="auxilia.html">Altri documenti</a> | ')
document.write('<a class="rolnero" href="segnalazione_errori.htm">Segnala Errori</a>')
document.write('</span>')