下列程序运行后的输出结果是 【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；