What is puerto de san antonio Postal Code?

Postal Code of puerto de san antonio is 76277