Código postal de El Platanal (El Platanal de San Lucas) en Tejupilco, México, México