程序段int a=1234;printf(“%d\n”，a);的输出结果是()。