document.write('<CENTER><HR NOSHADE width="55%" SIZE=1>Universit&agrave di Torino - Dipartimento di Matematica<BR>Pagine realizzate dal <A class=firma href="mailto:cencalc@dm.unito.it">Centro di Calcolo</A> - R.I.R. <A class=firma href="mailto:tiziana.armano@unito.it">Tiziana Armano</A><BR>');

// 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>');