What's the sum of all of ivet lalova's Heat stats?
CREATE TABLE table_name_17 (heat INTEGER, name VARCHAR)
SELECT SUM(heat) FROM table_name_17 WHERE name = "ivet lalova"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_17 (heat INTEGER, name VARCHAR) Question: What's the sum of all of ivet lalova's Heat stats? [/INST] SELECT SUM(heat) FROM table_name_17 WHERE name = "ivet lalova" </s>