We use the 24 hour time here in Portugal (in every digital clock, written information, etc), but it also threw me off. 9-5 is a common linguistic expression, while 9-17 reads "nine to seventeen" to me. Maybe "9-17h" would work better.