HASH(0x7fee0b8160c8)