HASH(0x7fedd25b72b0)