有以下程序(strcat函数用以连接两个字符串)
#include＜stdio.h＞
#include＜string.h＞
main()
char a[20]="ABCD\0EFG\0"，b[]="IJK"；
strcat(a，b)；printf("%s\n"，a)；

程序运行后的输出结果是( )。

A) ABCDE\0FG\0IJK B) ABCDIJK C) IJK D) EFGIJK

人力资源配置的原则有充分利用、因人设岗等。