#include <bits/stdc++.h>
#define x first
#define y second
#define sc scanf
#define endl '\n'
#define pr printf
#define pc(x) putchar(x)
#define int long long
//#pragma GCC optimize(2)
#pragma GCC optimize(3,"Ofast","inline")
#define umap unordered_map
#define uset unordered_set
#define Hn putchar('\n')
#define KG putchar(' ')
#define mk make_pair
#define gc(x) getchar()
#define YES puts("YES")
#define NO puts("NO")
#define Yes puts("Yes")
#define No puts("No")
#define yes puts("yes")
#define no puts("no")
#define sget(x) getline(cin,(x))
#define All(x) (x).begin(),(x).end()
#define isf(x) ((x) >= 'a' && (x) <= 'z')
#define isF(x) ((x) >= 'A' && (x) <= 'Z')
#define ms0(x) memset((x),0,sizeof (x))
#define msf1(x) memset((x),-1,sizeof (x));
#define debug(x...) cerr << (#x) << " -> "; err(x)
#define ___G std::ios::sync_with_stdio(false),cin.tie(0), cout.tie(0)
using namespace std;
const int MOD = 1000000007;
const int N = 2e6 + 10, M = 508;
typedef pair<int, int> PII;
int ___t = 1, ___tt = N;
inline int read();
inline void write(int x);
inline void err();
template<class ___T, class ...___Ts>
inline void err(___T &x, ___Ts &...y);
template<class __T>
inline void Pv(__T x);
string d[7] = {"MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN"};
inline void solve()
{
int start;
string a1, a2, b1, b2;
cin >> a1 >> a2 >> b1 >> b2;
int len = min(a1.size(), a2.size());
for (int i = 0; i < len; ++i)
{
char f = a2[i];
if (a1[i] == f && isF(f) && (f - 'A') < 7)
{
start = i;
cout << d[f - 'A'] << ' ';
break;
}
}
for (int i = start + 1; i < len; ++i)
{
char f = a2[i];
if (a1[i] == f && (f >= 'A' && f <= 'N'))
{
cout << 10 + f - 'A' << ':';
break;
}
else
{
if (a1[i] == f && isdigit(f))
{
printf("%02d:", f - '0');
break;
}
}
}
len = min(b1.size(), b2.size());
for (int i = 0; i < len; ++i)
{
char a = b1[i], b = b2[i];
if (a == b && (isf(a) || isF(b)))
{
printf("%02d", i);
break;
}
}
}
signed main()
{
//___G;
//freopen("a.txt","r",stdin);
//sc("%lld",&___t);
//cin >> ___t;
//___t = read();
while (___t--)
{
solve();
}
return 0;
}
inline int read()
{
int x = 0, f = 1;
char ch = getchar();
while (ch < '0' || ch > '9')
{
if (ch == '-')
f = -1;
ch = getchar();
}
while (ch >= '0' && ch <= '9')
x = x * 10 + ch - '0', ch = getchar();
return x * f;
}
inline void write(int x)
{
if (x < 0)
putchar('-'), x = -x;
if (x > 9)
write(x / 10);
putchar(x % 10 + '0');
return;
}
inline void err()
{
cerr << endl;
}
template<class ___T, class ...___Ts>
inline void err(___T &x, ___Ts &...y)
{
cerr << (x) << ' ';
err(y...);
}
template<class __T>
inline void Pv(__T x)
{
for (auto i : x)
{
cerr << i << ' ';
}
Hn;
}
/* :: ::
:;J7,:, ::;7:
,ivYi,, ;LLLFS:
:iv7Y i :7ri;j5PL
,:ivYLvr ,ivrrirrY2X,
:;r@Wwz.7r: :ivu@kexianli.
:iL7::,:::iiirii:ii;::::,,irvF7rvvLujL7ur
ri::,:,::i:iiiiiii:i:irrv177JX7rYXqZEkvv17
;i:, , ::::iirrririi:i:::iiir2XXvii;L8OGJr71i
:,, ,,: ,::ir@mingyi.irii:i:::j1jri7ZBOS7ivv,
,::, ::rv77iiiriii:iii:i::,rvLq@huhao.Li
,, ,, ,:ir7ir::,:::i;ir:::i:i::rSGGYri712:
::: ,v7r:: ::rrv77:, ,, ,:i7rrii:::::, ir7ri7Lri
, 2OBBOi,iiir;r:: ,irriiii::,, ,iv7Luur:
,, i78MBBi,:,:::,:, :7FSL: ,iriii:::i::,,:rLqXv::
: iuMMP: :,:::,:ii;2GY7OBB0viiii:i:iii:i:::iJqL;::
, ::::i ,,,,, ::LuBBu BBBBBErii:i:i:i:i:i:i:r77ii
, : , ,,:::rruBZ1MBBqi, :,,,:::,::::::iiriri:
, ,,,,::::i: @arqiao. ,:,, ,:::ii;i7:
:, rjujLYLi ,,:::::,:::::::::,, ,:i,:,,,,,::i:iii
:: BBBBBBBBB0, ,,::: , ,:::::: , ,,,, ,,:::::::
i, , ,8BMMBBBBBBi ,,:,, ,,, , , , , , :,::ii::i::
: iZMOMOMBBM2::::::::::,,,, ,,,,,,:,,,::::i:irr:i:::,
i ,,:;u0MBMOG1L:::i:::::: ,,,::, ,,, ::::::i:i:iirii:i:i:
: ,iuUuuXUkFu7i:iii:i:::, :,:,: ::::::::i:i:::::iirr7iiri::
: :rk@Yizero.i:::::, ,:ii:::::::i:::::i::,::::iirrriiiri::,
: 5BMBBBBBBSr:,::rv2kuii:::iii::,:i:,, , ,,:,:i@petermu.,
, :r50EZ8MBBBBGOBBBZP7::::i::,:::::,: :,:,::i;rrririiii::
:jujYY7LS0ujJL7r::,::i::,::::::::::::::iirirrrrrrr:ii:
,: :@kevensun.:,:,,,::::i:i:::::,,::::::iir;ii;7v77;ii;i,
,,, ,,:,::::::i:iiiii:i::::,, ::::iiiir@xingjief.r;7:i,
, , ,,,:,,::::::::iiiiiiiiii:,:,:::::::::iiir;ri7vL77rrirri::
:,, , ::::::::i:::i:::i:i::,,,,,:,::i:i:::iir;@Secbone.ii:::*/