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=\"partite00-01.htm\">Stagione 2000-2001</a><br><br>");
document.write("<a href=\"../stagioni.htm\">Archivio stagioni</a><br>");
document.write("</font></td>");
document.write("</tr>");
document.write("</table>");
}