/*   @JUDGE_ID:   1705PZ   602   C */
#include <stdio.h>

long days(long year,long month,long day){
	if(year == 1582 && month == 10 && day >= 15)
		return (day - 10);
	else if(year == 1752 && month == 9 && day >= 14)
		return (day - 11);
	else
		return day;
	}

long days_of_month(long year,long month){
	if(month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 12)
		return 31;
	else if(month == 4 || month == 6 || month == 11)
		return 30;
	else if(month == 2){
		if(year <= 1752){
			if(year % 4 == 0)
				return 29;
			else
				return 28;
			}
		else{
			if(year % 400 == 0)
				return 29;
			else if(year % 100 == 0)
				return 28;
			else if(year % 4 == 0)
				return 29;
			else
				return 28;
			}
		}
	else if(month == 9){
		if(year == 1752)
			return 19;
		else
			return 30;
		}
	else if(month == 10){
		if(year == 1582)
			return 21;
		else
			return 31;
		}
	else
		return 0;
	}

int check(long year,long month,long day){
	if(year == 1582 && month == 10 && day > 4 && day < 15)
		return 0;
	else if(year == 1752 && month == 9 && day > 2 && day < 14)
		return 0;
	else{
		if(day >= 1 && day <= days_of_month(year,month))
			return 1;
		else
			return 0;
		}
	}

long total(long year,long month,long day){
	long i,j,totalday = 0;
	for(i = 1;i < year;i++)
		for(j = 1;j < 13;j++)
			totalday += days_of_month(i,j);
	for(i = 1;i < month;i++)
		totalday += days_of_month(year,i);
	totalday += days(year,month,day);
	return totalday;
	}

void print(long year,long month,long day){
	char *months[12] = {"January","February","March","April","May","June","July","August","September","October","November","December"};
	char *days[7] = {"Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday"};
	if(check(year,month,day) == 0)
		printf("%ld/%ld/%ld is an invalid date.\n",month,day,year);
	else
		printf("%s %ld, %ld is a %s\n",months[month - 1],day,year,days[total(year,month,day) % 7]);
	}

int main(){
long year,month,day;
while(1){
	scanf("%ld %ld %ld",&month,&day,&year);
	if(year == 0 && month == 0 && day == 0)
		break;
	print(year,month,day);
	}
return 0;
}
@END_OF_SOURCE_CODE