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