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

《水浒传》中火烧瓦罐寺的人是（）