DEFINITION  K00600 (K01491,K00300 K01500) K01938
///
