What is cerro de la virgen (san juan de bocas) Postal Code?

Postal Code of cerro de la virgen (san juan de bocas) is 78405