#includemain{ints=0,k;for(k=7;k>=0;k--){switch(k){case1:case4:case7:s++;break;case2:case3:case6:break;case0:case5:s+=2;break;}}printf(″s=%d＼n″,s);}输出结果为？