HASH(0x7fede26cc570)