下面程序的输出结果是 【13】 。char b[]="ABCD"；main(){ char *chp； for (chp=b；*chp ；chp +=2) printf("%s"，chp)； printf("\n")；}