选择题

75. 有以下程序 #include <stdio.h> #include <string.h> int main(void) { char a[20]="ABCD\0EFG\0",b[]="IJK"; strcat(a,b); printf("%s\n",a); return 0; } 程序运行后的输出结果是______。