HASH(0x7f5cb40dd0b0)