CREATE TABLE table_72922 ("School" TEXT, "Est. Denotes original date of establishment of the school ,  changes in name and/or location noted in corresponding ootnote" FLOAT, "Location Denotes location of school by Seattle neighborhood ,  does not necessary correspond with attendance area" TEXT, "Nickname" TEXT, "11-12 Enrollment" FLOAT)

Name the minimum 11-12 enrollment for washington school
SELECT MIN("11-12 Enrollment") FROM table_72922 WHERE "School" = 'Washington'
SELECT MIN("11-12 Enrollment") FROM "table_72922" WHERE "School" = 'Washington'