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("<font size=\"2\" face=\"Verdana\">");
document.write("<a href=\"albo.htm\">L'ALBO D'ORO</a><br><br>");
document.write("<a href=\"trofei.htm\">I TROFEI</a><br><br>");
document.write("<a href=\"recordSquadra.htm\">I RECORD DI SQUADRA</a><br><br>");
document.write("<a href=\"recordGiocatori.htm\">I RECORD DEI GIOCATORI</a><br><br>");
document.write("</td>");
document.write("</tr>");
document.write("</table>");
}