CREATE TABLE table_16432543_3 (location VARCHAR, enrollment VARCHAR)

What school location had an enrollment of 12400?
SELECT location FROM table_16432543_3 WHERE enrollment = 12400
SELECT "location" FROM "table_16432543_3" WHERE "enrollment" = 12400