long n,i=2014,k=400;main(s){scanf("%ld",&n);n-=i;s=n/k*57;n=n%k+i;for(;i++<n;++k%7||s++)k+=i%4<1&i%100>0|i%400<1;k=!printf("%d",s);}