#include<iostream>
#include<cctype>
#include<iomanip>
#include<string>
using namespace std;
int main(){
string a,b,c,d;
cin>>a>>b>>c>>d;
char t[2];
int pos, i=0,j=0;
//找到第一个相同字符（表示星期）
while(i<a.length()&&i<b.length()){
if(a[i]==b[i]&&(a[i]>='A'&&a[i]<='G')){
t[0]=a[i];
break;
}
i++;
}
//找到第二个相同字符（表示小时）
i=i+1;
while(i<a.length()&&i<b.length()){
if(a[i]==b[i]&&((a[i]>='A'&&a[i]<='N')||isdigit(a[i]))){
t[1]=a[i];
break;
}
i++;
}
//找到第三个相同字符（表示分钟）
while(j<c.length()&&j<d.length()){
if(c[j]==d[j]&&isalpha(c[j])){
pos=j;
break;
}
j++;
}
//建立映射关系
string week[7]={"MON","TUE","WED","THU","FRI","SAT","SUN"};
//转换小时
int hour=0;
if(isdigit(t[1])){
hour=t[1]-'0';
}else{
hour=t[1]-'A'+10;
}
cout<<week[t[0]-'A']<<" ";
cout<<setw(2)<<setfill('0')<<hour<<":";
cout<<setw(2)<<setfill('0')<<pos<<endl;
return 0;
}