#include "stdio.h"

char outs[7][10]={"Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"};
int monthday[2][12]={{31,28,31,30,31,30,31,31,30,31,30,31},{31,29,31,30,31,30,31,31,30,31,30,31}};

int tellleap(int n)
{
	if((n%4==0&&n%100!=0)||n%400==0)
	{
		return 1;	
	}
	else
	{
		return 0;	
	}	
}

void output(int day)
{
	int year,month,date,nowyear=2000,leftday,nowmonth=0;
	int flag;
	leftday=day;
	flag=tellleap(nowyear);
	while(1)
	{
		flag=tellleap(nowyear);
		if(flag)
		{
			if(leftday>366)
			{
				leftday-=366;
				nowyear++;	
			}
			else
			{
				break;	
			}	
		}
		else
		{
			if(leftday>365)
			{
				leftday-=365;
				nowyear++;	
			}
			else
			{
				break;	
			}	
		}	
	}
	while(1)
	{
		if(leftday<=monthday[flag][nowmonth])
		{
			printf("%04d-%02d-%02d %s\n",nowyear,nowmonth+1,leftday,outs[(day+5)%7]);	
			break;
		}
		else
		{
			leftday-=monthday[flag][nowmonth];
			nowmonth++;	
		}	
	}	
}

int main()
{
	int day;
	while(1)
	{
		scanf("%d",&day);
		if(day==-1) break;
		output(day+1);	
	}
	return 0;
}