以下程序段的输出结果是（{{ input(1) }} ）

int n=10 ;
while(n>7)
{ 
	n--;
	printf("%d ",n); 
}