#include<iostream>
#include<vector>
#include<string>
#include<iomanip>
//#include<algorithm>
//#include<functional>
#include<map>
using namespace std;
int main()
{
map<char, string> week = { {'A',"MON"},{'B',"TUE"},{'C',"WEN"},
{'D',"THU"},{'E',"FRI"},{'F',"SAT"},{'G',"SUN"} };
map<char, string> hour = { {'0',"0" }, {'1', "1"}, { '2',"2" }, { '3',"3" }, { '4',"4" },
{ '5',"5" }, { '6',"6" }, { '7',"7" }, { '8',"8" }, { '9',"9" },
{ 'A',"10" }, { 'B',"11" }, { 'C',"12" }, { 'D',"13" }, { 'E',"14" },
{ 'F',"15" }, { 'G',"16" }, { 'H',"17" }, { 'I',"18" }, { 'J',"19" },
{ 'K',"20" }, { 'L',"21" }, { 'M',"22" }, { 'N',"23" } };
string a, b, c, d;
cin >> a >> b >> c >> d;
int sizeA = a.size(), sizeB = b.size(), sizeC = c.size(), sizeD = d.size();
vector<char> vec;
int countWeek = 1;
int ready = 0;
for (int i = 0, j = 0; i < sizeA&&j < sizeB; ++i, ++j)
{
if (a[i] == b[j] && hour.find(a[i]) != hour.end() && ready)
{
vec.push_back(a[i]);
}
if (a[i] == b[j] && week.find(a[i])!=week.end() && countWeek--)
{
vec.push_back(a[i]);
++ready;
}
}
cout << week[vec[0]] << " " << setfill('0') << setw(2) << hour[vec[1]] << ":";
for (int i = 0, j = 0; i < sizeC&&j < sizeD; ++i, ++j)
{
if (c[i] == d[j] && isalpha(c[i]))
{
cout << setfill('0') << setw(2) << i;
break;
}
}
system("pause");
return 0;
}