#include<stdio.h>
#include<string.h>
int type(int i)
{
	if((i%4==0&&i%100!=0)||(i%400==0))
		return(1);
	else
		return(0);
}

int main()
{
	char week[8][20];
	int md[14]={0};
	char mon[4],d[4];
	int i,j,k,m,t=0,n,l;
	unsigned long  int day=0,temp;
	int year[2]={365,366};
	md[1]=md[3]=md[5]=md[7]=md[8]=md[10]=md[12]=31;
	md[4]=md[6]=md[9]=md[11]=30; md[2]=28;
	strcpy(week[1],"Sunday");strcpy(week[2],"Monday");
	strcpy(week[3],"Tuesday");strcpy(week[4],"Wednesday");
	strcpy(week[5],"Thursday");strcpy(week[6],"Friday");
	strcpy(week[0],"Saturday");
	
	while((scanf("%ld",&day))&&(day!=-1))
	{
		
			t=day%7;

		    temp=0;
			for(i=2000;day-temp>=year[type(i)];i++)
			{
				k=year[type(i)];
				temp=temp+k;
			}
			
			if(year[type(i)]==366)
				md[2]=29;
			day=day-temp;
			temp=0;
			for(j=1;day-temp>=md[j];j++)
			{
				k=md[j];
				temp=temp+k;
			}
			day=day-temp+1;
			
			printf("%d-%.2d-%.2d %s\n",i,j,day,week[t]);
		
	}
}