以下程序输出结果为：（　　）。

#include<stdio.h>
int f(int x)
{
    return x + 3;
}
int main（　　）
{
    int a = 1;
    while(f(a)<10)
        a++;
    printf("Result:%d",a);
    return 0;
}