function scrivinaviga(cosa) {
  switch(cosa){
  case 2:
    var testo = "<a href=\"/editoriale/\">Editoriali</a> | "+
     "<a href=\"/comunicato/\">Comunicati</a> | "+
     "<a href=\"/articolo/\">Articoli</a> | "+
     "<a href=\"/notizia/\">Notizie</a> | "+
     "<a href=\"/lettera/\">Lettere</a> | "+
     "<a href=\"/documento/\">Documenti</a>"; break;
  }
  document.getElementById('barra').innerHTML = testo;
}