HASH(0x7fede457e3e8)