. "Washington Irving High School" .