#include<iostream>
int month[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
char Month[13][10]={"","January","February","March","April","May","June","July","August","September","October","November","December"};
char DayofWeek[7][10]={"Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday"};
bool LeapYear(int x){
if(x%400==0)return 1;
if(x%100==0)return 0;
if(x%4==0)return 1;
return 0;
}
int Days(int m,int d,int y){
if(m>12)return -1;
if(y==1752&&m==9&&d>3&&d<14)return -1;
int sum=0,i;
if(y>1752||y==1752&&m>9||y==1752&&m==9&&d>=14)sum-=11;
bool L;
L=LeapYear(y);
if(L&&m==2&&d==29||d<=month[m])sum+=d;
else return -1;
for(i=1;i<m;i++){
sum+=month[i];
}
if(m>2&&L)sum++;
sum+=(y-1)*365+(y-1)/4-(y-1)/100+(y-1)/400;
return sum;
}
int main(){
int m,d,y,days;
while(scanf("%d%d%d",&m,&d,&y)&&m){
days=Days(m,d,y);
if(days==-1)printf("%d/%d/%d is an invalid date./n",m,d,y);
else printf("%s %d, %d is a %s/n",Month[m],d,y,DayofWeek[(days+10)%7]);
}
return 0;
}