What is the total enrollment number of all colleges?
select sum(enr) from college