What is la laguna (la otra laguna) Postal Code?

Postal Code of la laguna (la otra laguna) is 71417