HASH(0x7fede25c79e8)