#include <stdio.h>
int main(void) {
int i,count=0;
int sum=0,t;
for(i=1;i<=10000;i++){
sum=0;
t=i;
while(t>0){
sum+=t%10;
t/=10;
}
if(sum%7==3){
count++;
}
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CmludCBpLGNvdW50PTA7CmludCBzdW09MCx0Owpmb3IoaT0xO2k8PTEwMDAwO2krKyl7CglzdW09MDsKCXQ9aTsKCXdoaWxlKHQ+MCl7CgkJc3VtKz10JTEwOwoJCXQvPTEwOwoJfQoJaWYoc3VtJTc9PTMpewoJCWNvdW50Kys7Cgl9CgkKCgkKCn0KcHJpbnRmKCIlZFxuIixjb3VudCk7CgoJcmV0dXJuIDA7Cn0K