The company cafeteria is open from 11:15 a.m. to 5:00 p.m. What time in 24-hour format does the cafeteria close? ​