CREATE TABLE table_name_20 (total INT, player VARCHAR)

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