CREATE TABLE table_name_3 (enrollment INTEGER, school VARCHAR(255))
What is the enrollment at the school of Hamilton community?
    
SQL: SELECT AVG(enrollment) FROM table_name_3 WHERE school = "hamilton community"