HASH(0x7fedd25c7830)