HASH(0x7fee31275f00)