HASH(0x7fee145be228)