//var pageLoad= "";
	apertura = new Date;
	apertura = apertura.getTime();

function tempo_di_apertura()
{
/*
  fine = new Date;
  fine = fine.getTime();
  var tempo;
  tempo = (fine-apertura)/1000;
  document.getElementById("time").innerHTML='pagina generata in: ' + tempo + ' secondi';
  //return pageLoad;
*/
}