有以下程序(strcat函数用以连接两个字符串)
#include＜stdio.h＞
#include＜string.h＞
main()
{
char a[20]=“ABCD\0EFG\0",b[]="IJK";
strcat(a,b);
printf("%s\n",a);
}
程序运行后的输出结果是______。