HASH(0x7fee145be5d0)