What is average number of students enrolled in Florida colleges?
select avg(enr) from college where state = 'FL'