I'm familiar with the 24 hour clock but not that notation. That looked like a hexadecimal number. I'm used to seeing 1:00 PM rendered as 13:00 or 1300.