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