HASH(0x7f5cdca387b0)