Código postal de Ocotepec en Ocotepec, Puebla, México