HASH(0x7fede2572b80)