HASH(0x7fee31764040)