01 987 , 1017 , k [ 10199