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