#include <stdio.h>
#include <string.h>
int main() {
char s1[61];
char s2[61];
char s3[61];
char s4[61];
char week[7][4] = { "MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN" };
char cweek;//表示密码得到的表示星期的尚未转换的字母
int hour;//存储结果小时
int min;//储存结果分钟
int wflag = 0;
scanf("%s\n%s\n%s\n%s", s1, s2, s3, s4);
for (int i = 0; i < strlen(s1) && i < strlen(s2); i++) {
if (s1[i] == s2[i] && wflag == 1 && s1[i] >= '0' && s1[i] <= '9') {
hour = s1[i] - '0';
break;
}
else if (s1[i] == s2[i] && wflag == 1 && (s1[i] >= 'A' && s1[i] <= 'N')) {
hour = 10 + (s1[i] - 'A');;
break;
}
if (wflag == 0 && s1[i] && s1[i] == s2[i] && s1[i] >= 'A' && s1[i] <= 'G') {
cweek = s1[i];
wflag = 1;
}
for (int i = 0; i < strlen(s3) && i < strlen(s4); i++) {
if (s3[i] == s4[i] && ((s3[i] >= 'A' && s3[i] <= 'Z') || (s3[i] >= 'a' && s3[i] <= 'z'))) {
min = i;
break;
}
}
}
printf("%s %02d:%02d", week[(cweek - 'A')], hour, min);
return 0;
}