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=\"partite09-10.htm\">&nbsp;&nbsp;&nbsp;<i>Campionato</i></a><br>");
document.write("<a href=\"classifica09-10.htm\">&nbsp;&nbsp;&nbsp;<i>Classifica</i></a><br>");
document.write("<a href=\"coppaItalia09-10.htm\">&nbsp;&nbsp;&nbsp;<i>Coppa Italia</i></a><br>");
document.write("<a href=\"rosa09-10.htm\">&nbsp;&nbsp;&nbsp;<i>Rosa</i></a><br><br>");
document.write("<a href=\"../stagioni.htm\">Archivio stagioni</a><br>");
document.write("</font></td>");
document.write("</tr>");
document.write("</table>");
}