“printf("%4s","China");”输出结果是____。