IIRC the board was imported from overseas.
The timer was some boot countdown, and seeing it on screen it looked as if the seconds were stored as an ASCII string, because the timer was off by a decimal digit. From some boot delay. I can find out Sunday just out of interest.

