long n,s;main(){scanf("%ld",&n);for(;n>2414;n-=400)s+=57;for(;n>2014;)s+=(n+n/4-n/100+n--/400)%7==3;n=!printf("%d",s);}