Actually, I wasn't on about time zones. The format is supposed to be yy:dd:hh:mm:ss, i.e. double digits everywhere. But the actual time is displayed with single digits if hours, minutes or seconds are less than 10. 23:65:4:35:1 just looks odd.