from datetime import datetime
n=int(input())
d=datetime.strptime("20140723","%Y%m%d")
ans=0
n-=2014
for i in range(2015,2015+400):
  d=datetime.strptime(f"{i}0723","%Y%m%d")
  if d.weekday()==2:
    ans+=1
ans*=n//400
for i in range(2015,2015+n%400):
  d=datetime.strptime(f"{i}0723","%Y%m%d")
  if d.weekday()==2:
    ans+=1

print(ans)