CREATE TABLE table_name_17 (heat INT, name VARCHAR)

What's the sum of all of ivet lalova's Heat stats?
SELECT SUM(heat) FROM table_name_17 WHERE name = "ivet lalova"
SELECT SUM("heat") FROM "table_name_17" WHERE "ivet lalova" = "name"