HASH(0x7f5cdde538d0)