下列程序运行后的输出结果是 【12】 。 #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： case5：S+；2；break； } } cout＜＜"S="＜＜S＜＜endl； }