HASH(0x7fedd25b29e8)