Código postal de San Juan de la Cruz en Toluca, México, México