HASH(0x7f5cdcfe28f8)