HASH(0x7fedd878f2b8)