CREATE TABLE table_16432543_3 (location VARCHAR(255), enrollment VARCHAR(255))
What school location had an enrollment of 12400?
    
SQL: SELECT location FROM table_16432543_3 WHERE enrollment = 12400