HASH(0x7fede6612eb0)