HASH(0x7fede25c28d8)