How many high school principals were there in 2000-2001?
CREATE TABLE table_25037577_1 (
    high_school_principal VARCHAR,
    year VARCHAR
)
SELECT high_school_principal FROM table_25037577_1 WHERE year = "2000-2001"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: How many high school principals were there in 2000-2001? ### Input: CREATE TABLE table_25037577_1 (
    high_school_principal VARCHAR,
    year VARCHAR
) ### Response: SELECT high_school_principal FROM table_25037577_1 WHERE year = "2000-2001"