CREATE TABLE table_name_4 (total NUMBER, player VARCHAR2)

What is the sum of Total, when Player is 'Tommy Bolt'?
SELECT SUM(total) FROM table_name_4 WHERE player = "tommy bolt"
SELECT SUM("total") FROM "table_name_4" WHERE "player" = "tommy bolt"