DEFINITION  K03857+K03859+K03858+K03861+K03860+(K11001,K11002)+K09658 K03434 K05283 K05284+K07541 K07542 K05285 K05286 K05288+K05287 K05310+K05287
///
