// JavaScript Document
document.write ("<td>&nbsp;</td>");
document.write ("<td>");
document.write ("<table align='center' border='0' cellpadding='0' cellspacing='32'>");
document.write ("<tr>");
document.write ("<td><a class='menu' href='violazioni.asp" + ix + "'>&nbsp;segnala violazioni&nbsp;</a></td>");
document.write ("<td><a class='menu' href='info.asp" + ix + "'>&nbsp;aiuto&nbsp;</a></td>");
document.write ("<td><a class='menu' href='mailto:redazione@altriautori.com'>&nbsp;scrivi alla redazione&nbsp;</a></td>");
document.write ("<td><a class='menu' href='javascript:addToFavorite();'>&nbsp;aggiungi ai preferiti&nbsp;</a></td>");
document.write ("<td align=right><a class='menu' href='#inizio' style='border-style: none;' onMouseOver=AA_swapImage('arrow','','img/up_on.gif',1) onMouseOut='AA_swapImgRestore()'><img alt='torna a inizio pagina' src='img/up_off.gif' height=18 width=18 border=0 name='arrow'></a></td>");
document.write ("</tr>");
document.write ("</table>");
document.write ("</td>");