DEFINITION  K01001 K07432+K07441 K03842 K03843 K03844 K03845 K03846 K03847 K03846 K00729 K03848 K03849 K03850
///
