CREATE TABLE table_23018775_3 (pos VARCHAR(255), total_time VARCHAR(255))
How many positions have a total time of 1:30.4135?
    
SQL: SELECT COUNT(pos) FROM table_23018775_3 WHERE total_time = "1:30.4135"