有以下程序
#include <stdio.h>
int f(int n);
main()
{
int a=3,s;
s=f(a);
s=s+f(a)
printf("%d\n",s);
}
int f(int n)
static int a=1;
n+=a++;
return n;
程序运行后的输出结果是（ ）
9
8
7
10