以下程序运行后的输出结果是【 9 】
#include <stdio.h>
main()
{ int k=1,s=0;
do{
if((k%2)!=0) continue;
s+=k;k++;
}while(k>10);
printf("s=%d\n",s);
}
