HASH(0x7fee0b1162d0)