DEFINITION  K05551+K05552+K05553 K12420 ((K05554,K14249,K15884,K15885) (K05555,K14250),K15886)
///
