DEFINITION  (K05708+K05709+K05710+K00529 K05711,K05712) K05713 K05714 K02554 K01666 K04073
///
