How many laps did he make？