New York (City) Board of education. Division of high schools