#include <stdio.h>
int main() {
char str1[70], str2[70], str3[70], str4[70];
char week[7][5] = {"MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN"};
char *p, *q;
int flag, i;
scanf("%s", str1);
scanf("%s", str2);
scanf("%s", str3);
scanf("%s", str4);
for(p = str1, q = str2, flag = 0; *p && *q; p ++, q ++) {
if(*p == *q) {
if((flag == 0) && (*p >= 65) && (*p <= 71)) {
printf("%s ", week[*p - 65]);
flag = 1;
} else if(flag == 1 && ((*p >= 48 && *p <= 57) || (*p >= 65 && *p <= 78))){
if(*p <= 57) {
printf("%02d:", (*p - 48));
break;
} else {
printf("%02d:", (*p - 65 + 10));
break;
}
} else {
continue;
}
}
}
for(i = 0, p = str3, q = str4; *p && *q; p ++, q ++, i ++) {
if((*p == *q) && ((*p >= 65 && *p <= 90) || (*p >= 97 && *p <= 122))) {
printf("%02d", i);
break;
}
}
return 0;
}
int main() {
char str1[70], str2[70], str3[70], str4[70];
char week[7][5] = {"MON", "TUE", "WED", "THU", "FRI", "SAT", "SUN"};
char *p, *q;
int flag, i;
scanf("%s", str1);
scanf("%s", str2);
scanf("%s", str3);
scanf("%s", str4);
for(p = str1, q = str2, flag = 0; *p && *q; p ++, q ++) {
if(*p == *q) {
if((flag == 0) && (*p >= 65) && (*p <= 71)) {
printf("%s ", week[*p - 65]);
flag = 1;
} else if(flag == 1 && ((*p >= 48 && *p <= 57) || (*p >= 65 && *p <= 78))){
if(*p <= 57) {
printf("%02d:", (*p - 48));
break;
} else {
printf("%02d:", (*p - 65 + 10));
break;
}
} else {
continue;
}
}
}
for(i = 0, p = str3, q = str4; *p && *q; p ++, q ++, i ++) {
if((*p == *q) && ((*p >= 65 && *p <= 90) || (*p >= 97 && *p <= 122))) {
printf("%02d", i);
break;
}
}
return 0;
}