HASH(0x7f5ce45ad7b0)