HASH(0x7fedd7858868)