HASH(0x7fee3053de78)