HASH(0x7f5cbb8e55f0)