HASH(0x7fedd25bf620)