#include <stdio.h>

int main(void) {
	int i, t, r, e, w;
	int count = 0, sum =0;
	for(i=1;i<=10000;i++){
		t = (i/1000)%10;
		r = (i/100)%10;
		e = (i/10)%10;
		w = i%10;
		sum= t+r+e+w;
		if(sum%7==3){
			count++;
		}
	}
	printf("%d",count);
	return 0;
}