Hmm, yeah... In Greece we use it interchangeably with the 12-hour time, but whenever my brain sees 17, it just translates it to "5", so the expression made sense. Then again, I skipped that part in the article and only saw it in the comments, so I may have already been primed for it.