阅读以下说明和流程图，填补流程图中的空缺（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即可。 

【流程图】 

点击注册会员>>>即可获取程序员免费在线真题、观看免费公开课！

真题自测：软考各科目历年真题及答案解析

更多资讯可关注希赛网软考频道，问题咨询请拨打客服电话400-111-9811。