HASH(0x7fedd25f04b8)