Código postal de El Ocote (Ocote Potrero de Reyes) en Atotonilco el Grande, Hidalgo, México