CREATE TABLE table_24995 ("Year" TEXT, "Date" TEXT, "Driver" TEXT, "Team" TEXT, "Manufacturer" TEXT, "Laps" TEXT, "Miles  ( km ) " TEXT, "Race Time" TEXT, "Average Speed  ( mph ) " TEXT, "Report" TEXT)

In the race with a winning time of 4:17:18, how many laps were run?
SELECT "Laps" FROM table_24995 WHERE "Race Time" = '4:17:18'
SELECT "Laps" FROM "table_24995" WHERE "Race Time" = '4:17:18'