单项选择题

下列程序的运行结果是( )。
#include＜stdio.h＞
void main()
int s=0, k;
for(k=7; k＞1; 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;
printf("s=%d", s);