function DataUltimaModifica()
{
  var modifica = document.lastModified;
  modifica = modifica.substring(0, modifica.indexOf(" "));
  var giorno = modifica.substring(3, 5);
  var mese = modifica.substring(0, 2);
  var anno = modifica.substring(modifica.lastIndexOf("/") + 1, modifica.length);
  document.write('Ultimo aggiornamento: ' + giorno + '/' + mese + '/' + anno + '');
//  alert(modifica);
  return;
}

function NomePagina()
{
// Descrive il nome della pagina
  var titolo = document.location.href;
  if(titolo.indexOf("#", 0) > 0)
    titolo = titolo.substring(0, titolo.indexOf("#", 0));
  document.write(titolo);
  window.focus();
  return;
}