以下程序的输出结果是（　　）。

#include<stdio.h>
#include<string.h>
void main（　　）
{
    char a[20]="ABCD\0EFG\0",b[]="IJK";
    strcat(a,b);
    printf("%s\n",a);
}