有以下程序　　#include　　intfun()　　{staticintx=;　　x=;　　returnx;　　}　　main()　　{inti，s=;　　for(i=;i<=;i++)s=fun();　　printf(“%dn”，s);　　}　　程序运行后的输出结果是ABCD