#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++;
	}
	

	

}
printf("%d\n",count);

	return 0;
}