A football game starts at 5:15 AM. It lasts for 3 hours and 45 minutes. What time does the game end?