The Wilson coefficient functions of four-quark operators and the four-quark process in deep inelastic scattering