#include <iostream>
#include <cctype>
using namespace std;
int main()
{
string a,b,c,d;
cin>>a>>b>>c>>d;
char t[2];
int p,i=0,j=0;
string week[7]={"MON ","TUE ","WED ","THU ","FRI ","SAT ","SUN "};
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]))
{
p=j;
break;
}
j++;
}
int m=isdigit(t[1])?t[1]-'0':t[1]-'A'+10;
cout<<week[t[0]-'A'];
printf("%02d:%02d",m,p);
return 0;
}