有如下程序 main() { int n=9； while(n＞6) { n--； printf("%d"，n)； } } 该程序的输出结果是_______。