Código postal de El Pedregal de San Juan en Atotonilco el Grande, Hidalgo, México