HASH(0x7fede6591228)