以下程序的输出结果是（）main(){intn＝10;while(n>7){n－－;printf(“%d,”,n);}}