public:


                      function set_time(tickTock) {
                         if(first || TRUE) {
                                 first = FALSE;
                                 // get time from computer, if autoClock is on
                                 if(auto) { autoSetTime(); }
                                 // or keep our own time
                                 else {
                                    sec ++;
                                    if(sec > 59) { sec = 0; min++; }
                                    if(min > 59) { min = 0; hr++;  }
                                    if(do24) { if(hr > 23) { hr = 0; } }
                                    else     { if(hr > 11) { hr = 0; } }
                                 }
                                 time2Rot();
                                 hour_changed = hr;
                                 minute_changed = min;
                                 second_changed = sec;
                         }
                         else { first = TRUE; }
                      }
                      function set_hour(h)   { hr  = h; }
                      function set_minute(m) { min = m; }
                      function set_second(s) { sec = s; }
                      "]
                }
             ]
     }
     ROUTE TS.cycleTime TO SCRIPT.set_time
  }