Actually WT if you use HRS after a time, it indicates military time, in which case the 4 digits are presented with no internal punctuation. ie 8pm would be written 2000hrs (not 20:00 hrs).