HASH(0x7fee312e85f8)