HASH(0x7fede25c2ff8)