下列程序运行后的输出结果是______。
#include ＜iostream.h＞
void main()

int s=0,k;
for(k=7;k＞=0;k--)

switch (k)

case 1:
case 4:
case 7: s++;break;
case 2:
case 3:
case 6: break;
case 0:
case 5: s+=2;break;