Instruct: What is the total enrollment at Laville?
Output: SELECT COUNT Enrollment FROM table WHERE School = laville