DEFINITION  K00600 (K00288,K13403 K13402)
///
