Jamal Parker works at a company that uses military time. Thus, 1:00 P.M. is
shown as 13:00, 2:00 P.M. as 14:00, etc. On Monday, October 1, Jamal worked
from 8:02 to 11:47 and from 13:08 to 17:06. How many hours did he work on
Monday? How many hours did he work rounded to the nearest quarter hour?