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