HASH(0x7fede25cddf0)