peter hopwood has how many laps in all?
1.0