Question: What is the average enrollment number?
SQL: SELECT avg(enr) FROM College