HASH(0x7f5cedef92f0)