HASH(0x7f5cdcc47af0)