document.write('<CENTER><HR NOSHADE width="55%" SIZE=1>Universit&agrave; di Torino - Dipartimento di Matematica<BR><P>Le eventuali responsabilit&agrave; relative al contenuto delle pagine' 
+  ' personali degli utenti pubblicate da questo servizio<br>'
+ ' (http://www.dm.unito.it/personalpages/~<em>username</em>... e http://www2.dm.unito.it/paginepersonali/~<em>username</em>...)' 
+  '<br> <u>sono ad esclusivo carico degli utenti stessi</u>.'
+ ' <P>Il Dipartimento di Matematica non &egrave; responsabile per il'
+ ' contenuto delle pagine esterne a cui si fa riferimento da questo sito.</P>');

// script che scrive l'ultima modifica in modo decente: gg Mese aaaa

lastmod = document.lastModified; // get string of last modified date
//document.write(lastmod + "\n");


mese = new Array("Gennaio","Febbraio","Marzo","Aprile","Maggio","Giugno","Luglio","Agosto","Settembre","Ottobre","Novembre","Dicembre");

if (navigator.appName == "Microsoft Internet Explorer" )
{ 
//document.write(navigator.appName);
gg = lastmod.substr(3,2);
//document.write(gg + " ");
mm= lastmod.substr(0,2);
//document.write(mm);
aaaa = lastmod.substr(6,4);
document.write("<P>Ultima modifica: "+ gg + " " +  mese[mm-1]  + " "+ aaaa);
}
else 
{
//document.write(navigator.appName);
document.write("<P>Ultima modifica: "+ lastmod);
}

/*
if (navigator.appName == "Netscape" )
{
//document.write(navigator.appName);
document.write("<P>Data ultima modifica: "+ document.lastModified);
}
else if (navigator.appName == "Opera")
{
//document.write(navigator.appName);
document.write("<P>Data ultima modifica: "+ document.lastModified);
}

//document.write("<P>Data ultima modifica: "+ gg + " " +  mese[mm-1]  + " "+ aaaa);

//document.write("<P>URL: "+ document.URL )*/


document.write('<HR width="55%" NOSHADE SIZE=1></CENTER>');