function menu ()
{
document.write("<table border=\"0\" width=\"100%\" cellspacing=\"0\" cellpadding=\"0\" id=\"table5\">");
document.write("<tr>");
document.write("<td width=\"100%\" colspan=\"2\">");
document.write("<p><font face=\"Tahoma\" size=\"2\">&nbsp;<br>");
document.write("<p><font face=\"Tahoma\" size=\"2\">&nbsp;<a href=\"mappa.htm\">Mappa del sito</a></font></p>");
document.write("<p><font face=\"Tahoma\" size=\"2\">&nbsp;<a href=\"fonti.htm\">Fonti</a></font></p>");
document.write("</td>");
document.write("</tr>");
document.write("</table>");
}