#include <iostream>
#include <string.h>
using namespace std;
int main()
{
char s[4][70];
int i, len[4];
for(i = 0; i < 4; i++)
{
gets(s[i]);
len[i] = strlen(s[i]);
}
int j, flag = 0, num[3];
char ch[2];
for(i = 0, j = 0; i < len[0] && j < len[1]; i++, j++)
{
ch[0] = s[0][i];
ch[1] = s[1][j];
if(ch[0] == ch[1])
{
if(flag == 0 && ch[0] >= 'A' && ch[1] <= 'G')
{
flag = 1;
num[0] = ch[0] - 'A';
}
else if(flag == 1)
{
if(ch[0] >= '0' && ch[0] <= '9')
{
num[1] = ch[0] - '0';
break;
}
else if(ch[0] >= 'A' && ch[0] <= 'N')
{
num[1] = ch[0] - 'A' + 10;
break;
}
}
}
}
for(i = 0, j = 0; i < len[2] && j < len[3]; i++, j++)
{
ch[0] = s[2][i];
ch[1] = s[3][j];
if(ch[0] == ch[1] && ((ch[0] >= 'A' && ch[0] <= 'Z') || (ch[0] >= 'a' && ch[0] <= 'z')))
{
num[2] = i;
}
}
char day[7][5] = {"MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN"};
printf("%s %02d:%02d\n", day[num[0]], num[1], num[2]);
system("pause");
return 0;
}