HASH(0x7fee2667ec88)