有以下程序#includemain(){ char *s = "12134"; int k = 0, a = 0;while(s[k + 1] != ’\0’){k++;if(k % 2 == 0){a = a + (s[k] - ’0’ + 1); continue;}a = a + (s[k] - ’0’);}printf("k = %d a = %d\n", k, a);}程序运行后的输出结果是A．k=6 a=12