What is jungfraujoch Postal Code?

Postal Code of jungfraujoch is 3801