HASH(0x7f87a80df4f0)