HASH(0x7fee065cd7f0)