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