What is el hormiguero Postal Code?

Postal Code of el hormiguero is 5713