HASH(0x7fedd25c5888)