What is the average enrollment number?
select avg(enr) from college