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