DEFINITION  K14157 K14085 K00825 K15791+K00658+K00382 K00252 (K07514,(K07515,K07511) K00022)
///
