有以下程序：
#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;
}
程序运行后的输出结果是______。