, 142 Kr 7 , 600 , 166 : —servedd