Question: What is the total enrollment number of all colleges?
SQL: SELECT sum(enr) FROM College