HASH(0x7f5ccde84dd0)