下列程序的运行结果是【 】。 include＜stdio.h＞ void main() { int s=0，k； for(k=7；k＞4；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)；}