user: ### NOW ANSWER:
Question: What is the total enrollment at laville?
Columns: ['School', 'Location', 'Mascot', 'Enrollment', 'IHSAA Class', 'IHSAA Football Class', 'County']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'text']
Sample row: ['Bremen', 'Bremen', 'Lions', 495.0, 'AA', 'AA', '50 Marshall']
SQL:

assistant: SELECT COUNT("Enrollment") FROM "Table" WHERE "School" = 'laville';