HASH(0x7f136ded2828)