CREATE TABLE table_25037577_1 (high_school_principal VARCHAR, year VARCHAR)

How many high school principals were there in 2000-2001?
SELECT high_school_principal FROM table_25037577_1 WHERE year = "2000-2001"
SELECT "high_school_principal" FROM "table_25037577_1" WHERE "2000-2001" = "year"