有以下程序：
#include＜stdio.h＞
main()
{ int c=0, k;
for(k=1; k＜3; k++)
switch(k)
{default: c+=k;
case2: c++; break;
case4: c+=2; break;
}
printf("%d\n", c);
}
程序运行后的输出结果是______。