CREATE TABLE table_name_53 (total VARCHAR(255), player VARCHAR(255))
How many Total has a Player of dave stockton?
    
SQL: SELECT COUNT(total) FROM table_name_53 WHERE player = "dave stockton"