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