CREATE TABLE table_name_20 (total INTEGER, player VARCHAR(255))
What is the total of David Toms?
    
SQL: SELECT SUM(total) FROM table_name_20 WHERE player = "david toms"