下列程序运行后的输出结果是______。 #include＜iostream.h＞ void main(){ int s=0,k； for(k=7；k＞=O；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： } } cout＜＜"s="＜＜s＜＜endl； }