How many students are enrolled in college?
select sum(enr) from college