function eudato(){
  		dato = new Date(Date.parse(document.lastModified+' GMT+1'))
		document.write ("Last update: "+dato.toLocaleString()) 
}