CREATE TABLE table_name_47 (total INT, player VARCHAR)

What is the Total for Seve Ballesteros?
SELECT SUM(total) FROM table_name_47 WHERE player = "seve ballesteros"
SELECT SUM("total") FROM "table_name_47" WHERE "player" = "seve ballesteros"