HASH(0x7fee100ece88)