Código postal de Real del Sur en Pachuca de Soto, Hidalgo, México