What is the enrollment of the school whose mascot is hot dogs?
CREATE TABLE table_name_53 (enrollment INTEGER, mascot VARCHAR)
SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_53 (enrollment INTEGER, mascot VARCHAR) Question: What is the enrollment of the school whose mascot is hot dogs? [/INST] SELECT SUM(enrollment) FROM table_name_53 WHERE mascot = "hot dogs" </s>