What is puerto del carmen Postal Code?

Postal Code of puerto del carmen is 35510