DEFINITION  ((K08093,K13812) K08094,K13831) (K00850,K16370,K21071) K01624
///
