HASH(0x7fedd25f94d0)