What is the total enrollment number of all colleges?
CREATE TABLE College (enr INTEGER)
SELECT SUM(enr) FROM College
### Context: CREATE TABLE College (enr INTEGER) ### Question: What is the total enrollment number of all colleges? ### Answer: SELECT SUM(enr) FROM College