how many people completed 200 laps?
12