HASH(0x7fee305aed20)