import datetime
import time
n=0
nowday=time.mktime(time.strptime('2022-11-10','%Y-%m-%d'))
oldday=time.mktime(time.strptime('2000-1-1','%Y-%m-%d'))
allday=int((nowday-oldday)/(24*3600))
ans=0
for i in range(2000,2023):
for j in range(1,13):
today=datetime.datetime(i,j,1)
if today.isoweekday()==1:
n+=1
for i in range(1,allday+1):
if i%7==3:
ans+=1
ans=ans+allday-n+(22*12)+11
print("{}".format(ans))