Table schema:
CREATE TABLE table_name_20 (total INTEGER, player VARCHAR)

Question: What is the total of David Toms?
SQL: SELECT SUM(total) FROM table_name_20 WHERE player = "david toms"