CREATE TABLE table_23018775_3 (pos VARCHAR, total_time VARCHAR)

How many positions have a total time of 1:30.4135?
SELECT COUNT(pos) FROM table_23018775_3 WHERE total_time = "1:30.4135"
SELECT COUNT("pos") FROM "table_23018775_3" WHERE "1:30.4135" = "total_time"