HASH(0x7fedea67fdc8)