HASH(0x7fedd25dc8f8)