CREATE TABLE table_25037577_1 (high_school_principal VARCHAR(255), year VARCHAR(255))
How many high school principals were there in 2000-2001?
    
SQL: SELECT high_school_principal FROM table_25037577_1 WHERE year = "2000-2001"