HASH(0x7f5cdcfe72f8)