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