HASH(0x7fee0e5db718)