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