HASH(0x7fee3385af10)