Tom, Martin, and Rocky work at a call center. Last Friday, Tom worked for 5 hours, Martin worked for 6.25 hours, and Rocky worked for 6 hours and 30 minutes. What is the total time that they worked?