What is san jose (las penas, dpto.choya) Postal Code?

Postal Code of san jose (las penas, dpto.choya) is 4237