雨后天空中常常出现彩虹，因为雨后空气中有小水珠，太阳光通过水珠时产生______，属于______现象．分解为______七个颜色．

下列程序段中循环体的执行次数是______。
a=15;
b=0;
dob+=2;a-=2+b;while(a＞=0);