function menu ()
{
document.write("<p><font face=\"Verdana\" size=\"2\"><a href=\"golfo.htm\">GOLFO</a><br>");
document.write("<a href=\"mergellina.htm\" rel=\"nofollow\">MERGELLINA</a><br>");
document.write("<a href=\"maschioAngioino.htm\" rel=\"nofollow\">MASCHIO ANGIOINO</a><br>");
document.write("<a href=\"castelDellOvo.htm\" rel=\"nofollow\">CASTEL DELL'OVO</a><br>");
document.write("<a href=\"palazzoReale.htm\" rel=\"nofollow\">PALAZZO REALE</a><br>");
document.write("<a href=\"piazzaMunicipio.htm\" rel=\"nofollow\">PIAZZA MUNICIPIO</a><br>");
document.write("<a href=\"piazzaDelPlebiscito.htm\" rel=\"nofollow\">PIAZZA DEL PLEBISCITO</a><br>");
document.write("<a href=\"vesuvio.htm\" rel=\"nofollow\">VESUVIO</a><br>");
document.write("<a href=\"varie.htm\" rel=\"nofollow\">VARIE</a></font>");
}