where does the ``encryptionKey`` come from, in this example ?