Thomas started doing his work at 4:30 PM. It took him 6 hr 30 min to finish the work. What time did he finish his work?