有以下程序
#include <stdio.h>
int fun (int x, int y)
{
if(x==y) return(x);
else return((x+y)/2);
}
main()
int a=4, b=5, c=6;
printf("%d\n",fun(2*a, fun(b, c)));
程序运行后的输出结果是（ ）
3
6
8
12