A local bus duty falls under GB domestic drivers' hours rules. What is the general maximum driving time in a working day?

1. 7 hours 45 minutes
2. 9 hours, with no exceptions
3. 10 hours
4. 16 hours of driving if the duty is local