What is puerto del valle Postal Code?

Postal Code of puerto del valle is 5301