What is the total enrollment number of all colleges?
CREATE TABLE College (enr INTEGER)
SELECT SUM(enr) FROM College
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE College (enr INTEGER) Question: What is the total enrollment number of all colleges? [/INST] SELECT SUM(enr) FROM College </s>