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