下面程序的输出结果是什么？

int main(){ 
    int foo = 1; 
    do{ 
        printf("%d ", foo); 
        foo++; 
    } while(foo <= 10) 
    return 0; 
}