有以下程序　int　a=3；　main()　{　int　s=0；　{　int　a=5；s+=a++；}　s+=a++；　printf("%d\n",s)；　}　程序运行后的输出结果是______。