What is the total number in class for the Whitehaven Coal?
CREATE TABLE table_name_13 (number_in_class INTEGER, owner VARCHAR)
SELECT SUM(number_in_class) FROM table_name_13 WHERE owner = "whitehaven coal"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_13 (number_in_class INTEGER, owner VARCHAR) Question: What is the total number in class for the Whitehaven Coal? [/INST] SELECT SUM(number_in_class) FROM table_name_13 WHERE owner = "whitehaven coal" </s>