//
 <!----  RWSNET-2003   ---- // -->
function printDate() {
                  var day="";
                  var month="";
                  var myweekday="";
                  var year="";
                  newdate = new Date();
                  mydate = new Date();
                  newtime=newdate.getTime();

                  myday = mydate.getDay();
                  mymonth = mydate.getMonth();
                  myweekday= mydate.getDate();
                  myyear= mydate.getYear();
                  year = myyear;

                  if (year < 2000)
                    year = year + 1900;

                  arday = new Array("Domenica","Lunedi","Martedi","Mercoledi","Giovedi","Venerdi","Sabato")
                  armonth = new Array("Gen. ","Feb. ","Mar. ","Apr. ","Mag. ","Giu. ","Lug. ","Ago. ","Set. ", "Ott. ","Nov. ","Dic. ")
                  ardate = new Array("0","1","2","3","4","5","6","7","8","9","10","11","12","13","14","15","16","17","18","19","20", "21","22","23","24","25","26","27","28","29","30","31");

                  var today_date = (arday[myday] +", " + ardate[myweekday] +". "+ armonth[mymonth] + " " + year);
                  document.write(today_date);
                }