有以下程序

#include

int a=1;

intf(int c)

{static int a=2：

c=c+1：

return(a++)+C;

}

main()

( int i，k=0;

for(i=0;i<2;i++){int a=3;k+=f(a);}

k+=a：

printf("%d\n"，k);

}

程序运行结果是（     ）。