HASH(0x7fede26b2420)