What is el carmen (sol de julio, dpto. ojo de agua) Postal Code?

Postal Code of el carmen (sol de julio, dpto. ojo de agua) is 5255