#include <iostream>
using namespace std;
/*
闰年时:((year-1)*365 + (year-1)/4 - year/100 + year/400 + a) % 7
平年时:((year-1)*365 + year / 4 -year/100 + year/400 + a) % 7
0:星期日 ,1:星期一,2:星期二,3:星期三,4:星期四,5:星期五,6:星期六
其中 a 指的是 该年1号 到 现在 的天数。这是因为我们知道公元1年1月1日是星期一
*/
bool Leap(int year)//判断是否为闰年
{
return((year%4==0&&year%100!=0)||(year%400==0));
}
int C_num(int year,int a)//计算到year年每个月的13号是周几
{
int m_num=0;
if(Leap(year))
m_num=((year-1)*365+(year-1)/4-year/100+year/400+a)%7;
else
m_num=((year-1)*365+year/4-year/100+year/400+a)%7;
return m_num;
}
int main()
{
int leap[]={13,31+13,31+29+13,31+29+31+13,31+29+31+30+13,31+29+31+30+31+13,31+29+31+30+31+30+13,31+29+31+30+31+30+31+13,31+29+31+30+31+30+31+31+13, 31+29+31+30+31+30+31+31+30+13,31+29+31+30+31+30+31+31+30+31+13,31+29+31+30+31+30+31+31+30+31+30+13};
int not_leap[]={13,31+13,31+28+13,31+28+31+13,31+28+31+30+13,31+28+31+30+31+13,31+29+31+30+31+30+13,31+28+31+30+31+30+31+13,31+28+31+30+31+30+31+31+13, 31+28+31+30+31+30+31+31+30+13,31+28+31+30+31+30+31+31+30+31+13,31+28+31+30+31+30+31+31+30+31+30+13};
int year,num,i;
cin>>year;
if(Leap(year))
for(i=0;i<12;i++)
{
num=C_num(year,leap[i]);
if(num==5)cout<<year<<"-"<<i+1<<"-13"<<endl;
}
else
for(i=0;i<12;i++)
{
num=C_num(year,not_leap[i]);
if(num==5)cout<<year<<"-"<<i+1<<"-13"<<endl;
}
return 0;
}