以下程序的执行结果是(  )
main()                               { int n=9;
while(n>6) {  n--; printf("%d",n);  } }