#include<bits/stdc++.h>
using namespace std;
int main(){
string s[4];
char day,hour,minute,tag;
int t;
for(int i=0;i<4;i++){
cin>>s[i];
}
for(int i=0;i<s[0].length();i++){
if(s[0][i]==s[1][i]&&(s[0][i]>='A'&&s[0][i]<='G')){
day=s[0][i];
t=i;
break;
}
}
for(int i=t+1;i<s[0].length();i++){
if(s[0][i]==s[1][i]){
hour=s[0][i];
break;
}
}
for(int i=0;i<s[2].length();i++){
if(s[2][i]==s[3][i]&&((s[2][i]>='a'&&s[2][i]<='z')||(s[2][i]>='A'&&s[2][i]<='Z'))){
minute=s[2][i];
tag=i;
break;
}
}
string week[7]={"MON","TUE","WED","THU","FRI","SAT","SUN"};
cout<<week[int(day-'A')]<<" ";
if(isdigit(hour)){
printf("%02d",int(hour-'0'));
}
else printf("%02d:",int(hour-'A'+10));
printf("%02d",tag);
}