HASH(0x7fede6667830)