HASH(0x7fee3052ade8)