Query: What is the public high school system called in Mexico City?
Context: The whole funding is allocated by the government of Mexico City (in some specific cases, such as El Colegio de México, funding comes from both the city's government and other public and private national and international entities).[citation needed] The city's public high school system is the Instituto de Educación Media Superior del Distrito Federal (IEMS-DF).