HASH(0x7fee31794318)