HASH(0x7fede25c2d60)