#include<stdio.h>
int days[]={0,31,28,31,30,31,30,31,31,30,31,30,31};
int day(int a)
{if(a%100==0||a%4==0&&a%100!=0)
return 1;
else return 0;
}
int main()
{int y=2000,m=1,d=1,w=6;
int man=0;
while(y!=2020||m!=10||d!=2)
{ if(day(y))
days[3]=29;
else days[3]=28;
d++;w++;
if(d>days[m])
{ d=1;
m++;}
if(m>12)
{ m=1;
y++;}
if(w==8)
w=1;
if(d==1||w==1)
man=man+2;
else man++;}
printf("%d",man);
}