What is general piran Postal Code?

Postal Code of general piran is 7172