若运行以下程序时，从键盘输入25,13,10回车，则输出结果为()。 {int a1,a2,a3;scanf("%d%d%d",a1,a2,a3);printf("a1+a2+a3=%d\n",a1+a2+a3);}