下列程序运行后的输出结果是 ______。 #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； } } cout＜＜"s="＜＜s＜＜endl； }