function updateWatch() { // update watch //*
  var tid = new Date();  // get the time //*
                                    //*
  var h = tid.getHours();           //* 
  var days = tid.getDate();
  var months = tid.getMonth()+1;
  var years = tid.getFullYear();

  var myDays = new Array("Nedelja","Ponedeljek","Torek","Sreda","Četrtek","Petek","Sobota")
  var myMonths = new Array("januar","februar","marec","april","maj","junij","julij","avgust","september","oktober","november","december")
 
  var ap = "";                   //*
  hrs = (h>=10)?(""+h):("0"+h); // hours //*
  m = tid.getMinutes();             //*
  mns = (m>=10)?(":"+m):(":0"+m); // minutes //*
  s = tid.getSeconds();             //*
  scs = (s>=10)?(":"+s):(":0"+s); // seconds //*
  document.example.inBox.value      //*
                = myDays[tid.getDay()]+", "+days+". "+myMonths[months-1]+" "+years+", "+hrs+mns+scs;   //*
      // write the new time in the textfield //*
  timeId = setTimeout('updateWatch()',500); //*
      // repeat every 500 milliseconds //*
};
