CREATE TABLE College (enr INTEGER)
What is the average enrollment number?
    
SQL: SELECT AVG(enr) FROM College