HASH(0x7fee1957af70)