function datetime(){
  var datetime = new Date()
  
  var mon = datetime.getMonth()
  var monNames = new Array("gennaio", "febbraio", "marzo", "aprile", "maggio", "giugno", "luglio", "agosto", "settembre", "ottobre", "novembre", "dicembre");
  var day = datetime.getDate()
  var year = datetime.getFullYear()
  if(hr < 10){
    hr = " " + hr
    }
  if(min < 10){
    min = "0" + min
    }
  if (hr > 12)
    {
    hr = hr - 12;
    }
var hr = datetime.getHours()
    var min = datetime.getMinutes()
    document.datetime.digits.value = "Sono le " + hr + ":" + min + " del " + day +  " " + monNames[mon] + " " + year
  setTimeout("datetime()", 1000)
  }
function apriFinestra(filename){
  window.open(filename,'', 'width=520,height=600,left=500, top=35, scrollbars=1'); 
}
function apriPdf(filename){
  window.open(filename,'', 'width=650,height=600,left=300, top=35, scrollbars=1'); 
}
function mytime() {
var x=new Date();
h=x.getHours();
m=x.getMinutes();
s=x.getSeconds();
var dd=x.getDate();
var mm=x.getMonth();
mm++;
var yy=x.getFullYear();
var dd2  = ((dd < 10) ? "0" : "");
var mm2  = ((mm < 10) ? "0" : "");
var Data = dd2 + dd +"/"+ mm2+mm  + "/" + yy;
if(s<=9) s="0"+s;
if(m<=9) m="0"+m;
if(h<=9) h="0"+h;
time=h+":"+m+":"+s;
document.rclock.rdate.value=Data;
document.rclock.rtime.value=time;
setTimeout("mytime()",1000); }