以下程序运行后的输出结果是______。 #include＜stdio.h＞ main() { int a=1, b=7; 　do { 　　 b=b/2; a+=b; 　　 } while(b＞1); 　printf("%d\n", a); }