#include<bits/stdc++.h>
using namespace std;
void core(){
	int ans=0;
	int a_30;
	for(int i=2000;i<=2023;i++){
		for(int j=1;j<=12;j++){
			a_30=30;
			if(j==2){
				if((i%4==0&&i%100!=0)||i%400==0)	a_30==29;
				else	a_30==28;
			}
			else	if(j%2==1&&j<=7||j%2==0&&j>=8)	a_30=31;
			for(int v=1;v<=a_30;v++){
				int _ans=0;
				int dd[10];
				dd[1]=i/1000;
				dd[2]=i%1000/100;
				dd[3]=i%100/10;
				dd[4]=i%10;
				dd[5]=j/10;
				dd[6]=j%10;
				dd[7]=v/10;
				dd[8]=v%10;
				for(int k=1;k<=8;k++){
					switch(dd[k]){
						case 0:{
							_ans+=13;
							break;
						}
						case 1:{
							_ans+=1;
							break;
						}
						case 2:{
							_ans+=2;
							break;
						}
						case 3:{
							_ans+=3;
							break;
						}
						case 4:{
							_ans+=5;
							break;
						}
						case 5:{
							_ans+=4;
							break;
						}
						case 6:{
							_ans+=4;
							break;
						}
						case 7:{
							_ans+=2;
							break;
						}
						case 8:{
							_ans+=2;
							break;
						}
						case 9:{
							_ans+=2;
							break;
						}
					}
					if(_ans>50)	ans++;
				}
			}
		}
	}
	cout<<ans-9;
} 
int main(){

	//int start=clock();
	core();
	//int end=clock();
	
	//printf("%f\n",double(end-start)/CLOCKS_PER_SEC);
	return 0;
}