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