HASH(0x7fede2675b80)