DEFINITION  (K17755,(K00108,K11440,K00499) (K00130,K14085))
///
