CREATE TABLE table_name_25 (total INT, nation VARCHAR)

What is the sum of all total values for Switzerland?
SELECT SUM(total) FROM table_name_25 WHERE nation = "switzerland"
SELECT SUM("total") FROM "table_name_25" WHERE "nation" = "switzerland"