var myfont_face = "Arial";
var myfont_size = "1";
var myfont_pixelsize = "11";
var myfont_color = "#333333";

var myupdate = 1;
var mn = " ";
var clock = null;

var DaysOfWeek = new Array (7);
  DaysOfWeek [0] = "Domenica";
  DaysOfWeek [1] = "Lunedì";
  DaysOfWeek [2] = "Martedì";
  DaysOfWeek [3] = "Mercoledì";
  DaysOfWeek [4] = "Giovedì";
  DaysOfWeek [5] = "Venerdì";
  DaysOfWeek [6] = "Sabato";

var MonthsOfYear = new Array (12);
  MonthsOfYear [0] = "gennaio";
  MonthsOfYear [1] = "febbraio";
  MonthsOfYear [2] = "marzo";
  MonthsOfYear [3] = "aprile";
  MonthsOfYear [4] = "maggio";
  MonthsOfYear [5] = "giugno";
  MonthsOfYear [6] = "luglio";
  MonthsOfYear [7] = "agosto";
  MonthsOfYear [8] = "settembre";
  MonthsOfYear [9] = "ottobre";
  MonthsOfYear [10] = "novembre";
  MonthsOfYear [11] = "dicembre";

var ClockUpdate = new Array (3);
  ClockUpdate [0] = 0;
  ClockUpdate [1] = 1000;
  ClockUpdate [2] = 60000;

function posiziona_clock () {
  if (!document.layers) document.write('<span id="ClockPosition"></span>');
  else {

    document.open ();
    document.write ('<ilayer id="ClockPosition" visibility="hide"><layer height="20" width="220" id="LiveClockNS" top="10"></layer></ilayer>');
    document.close ();

  }
}

function clock_findObj (n, d) { //v3.0
  var p, i, x;
  if (!d) d = document;
  if (x = d [n]) return x;
  if (x = d.images [n]) return x;
  if (d.getElementById) if (x = d.getElementById (n)) return x;
  if ((p = n.indexOf ("?")) > 0 && parent.frames.length) {
    d = parent.frames [n.substring (p + 1)].document;
    n = n.substring (0, p);
  }
  if (!(x = d [n]) && d.all) x = d.all [n];
  for (i = 0; !x && i < d.forms.length; i++) x = d.forms [i][n];
  for (i = 0; !x && d.layers && i < d.layers.length; i++) x = clock_findObj (n, d.layers [i].document);
  return x;
}

function show_clock () {

  if (document.layers) document.ClockPosition.visibility = "show";
  clock = clock_findObj ("ClockPosition");
  if (clock && clock.layers && clock.layers.LiveClockNS) clock = clock.layers.LiveClockNS;
  update_clock ();

}

function update_clock () {

  var Digital = new Date ();
  var day = Digital.getDay ();
  var mday = Digital.getDate ();
  var month = Digital.getMonth ();
  var year = Digital.getYear ();
  var hours = Digital.getHours ();
  var minutes = Digital.getMinutes ();
  var seconds = Digital.getSeconds ();
  if (minutes <= 9) minutes = "0" + minutes;
  if (seconds <= 9) seconds = "0" + seconds;
  if (year < 1900) year += 1900;

  myclock = '<font face="' + myfont_face + '" color="' + myfont_color + '" size="' + myfont_size + '" style="font-size: ' + myfont_pixelsize + 'px;">' + DaysOfWeek [day] + mn + mday + mn + MonthsOfYear [month] + mn + year + '&nbsp;&nbsp;&nbsp;&nbsp;' + hours + ':' + minutes + ':' + seconds + '</font>';

  if (clock) {
    if (document.layers) {

      clock.document.open ();
      clock.document.write (myclock);
      clock.document.close ();

    } else clock.innerHTML = myclock;
    if (myupdate != 0) setTimeout ("show_clock ()", ClockUpdate [myupdate]);

  } else document.write (myclock);

}