HASH(0x7fede25c8cc8)