function scriviMenu(pagina) {
//<!-- *********** MENU VERTICALE DI DESTRA ****************** -->

menuSelezionato="";

if(pagina==1)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"lacasa.html\">LA CASA</a></td></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
if(pagina==2)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"photogallery.html\">PHOTOGALLERY</a></td></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
if(pagina==3)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"servizi.html\">I SERVIZI</a></td></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
if(pagina==4)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"listino.html\">IL LISTINO</a></td></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
if(pagina==5)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"prenotazioni.html\">PRENOTAZIONI</a></td></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
if(pagina==6)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"comearrivare.html\">COME ARRIVARE</a></td></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
if(pagina==7)   menuSelezionato="testo_menu_destra_selected"
else            menuSelezionato="testo_menu_destra"
  document.write("<tr><td class=\""+menuSelezionato+"\"><a href=\"contatti.html\">CONTATTI</a></td></tr></tr>");
  document.write("<tr><td align=\"left\"><img src=\"img/separatore_menu.gif\" border=\"0\"  /></td></tr>");
  //<!-- *********** MENU VERTICALE DI DESTRA - FINE ****************** -->

}