通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
有以下程序（strcat函数用以连接两个字符串）：
#include <stdio.h> #include <string.h> main() { char a[20]="ABCD\0EFG\0", b[]="IJK"; strcat(a,b); printf("%s\n",a); }
程序运行后的输出结果是（）。