Table schema:
CREATE TABLE table_name_30 (enrollment INTEGER, school VARCHAR)

Question: What is the enrollment for the school Highland?
SQL: SELECT SUM(enrollment) FROM table_name_30 WHERE school = "highland"