Código postal de Miguel Alemán Valdez en Xalapa, Veracruz de Ignacio de la Llave, México