CREATE TABLE table_name_21 (enrollment INTEGER, school VARCHAR(255))
What is the enrollment at Lanesville?
    
SQL: SELECT AVG(enrollment) FROM table_name_21 WHERE school = "lanesville"