CREATE TABLE table_name_3 (enrollment INT, school VARCHAR)

What is the enrollment at the school of Hamilton community?
SELECT AVG(enrollment) FROM table_name_3 WHERE school = "hamilton community"
SELECT AVG("enrollment") FROM "table_name_3" WHERE "hamilton community" = "school"