CREATE TABLE table_name_12 (points INT, player VARCHAR, extra_points VARCHAR)

How many points does Tom Hammond have if he has more than 12 points?
SELECT SUM(points) FROM table_name_12 WHERE player = "tom hammond" AND extra_points > 12
SELECT SUM("points") FROM "table_name_12" WHERE "extra_points" > 12 AND "player" = "tom hammond"