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