试题一（15分）
阅读以下说明和流程图，填写流程图中的空缺，将解答填入答题纸的对应栏内。
【说明】
以下流程图用于检查数组A[1:n]中的@素是否为自然数1~n的一个排列（含有1~n各数)。若是，则输出OK，否则输出所缺的自然数及其个数m。
为检查A[1:n]中是否含有k，只要判断P(k)=(A(l)-k)*(A(2)-k)*...*(A(n)-k)是否等于0即可。
【流程图】


【问题1】（15分）
(1):
(2):
(3):
(4):
(5):