HASH(0x7f5cddc42238)