#include <stdio.h>
#include <string.h>
int main() {
int hour, m, s;
char period[3]; // "AM" or "PM"
scanf("%d:%d:%d%2s", &hour
, &m
, &s
, period
);
// Chuyển đổi sang định dạng 24h
if (strcmp(period
, "AM") == 0) { if (hour == 12) hour = 0; // 12AM -> 00
} else {
if (hour != 12) hour += 12; // 1PM–11PM -> cộng thêm 12
}
// In ra định dạng hh:mm:ss với đủ 2 chữ số
printf("%02d:%02d:%02d\n", hour
, m
, s
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdHJpbmcuaD4KCmludCBtYWluKCkgewogICAgaW50IGhvdXIsIG0sIHM7CiAgICBjaGFyIHBlcmlvZFszXTsgLy8gIkFNIiBvciAiUE0iCgogICAgc2NhbmYoIiVkOiVkOiVkJTJzIiwgJmhvdXIsICZtLCAmcywgcGVyaW9kKTsKCiAgICAvLyBDaHV54buDbiDEkeG7lWkgc2FuZyDEkeG7i25oIGThuqFuZyAyNGgKICAgIGlmIChzdHJjbXAocGVyaW9kLCAiQU0iKSA9PSAwKSB7CiAgICAgICAgaWYgKGhvdXIgPT0gMTIpIGhvdXIgPSAwOyAvLyAxMkFNIC0+IDAwCiAgICB9IGVsc2UgewogICAgICAgIGlmIChob3VyICE9IDEyKSBob3VyICs9IDEyOyAvLyAxUE3igJMxMVBNIC0+IGPhu5luZyB0aMOqbSAxMgogICAgfQoKICAgIC8vIEluIHJhIMSR4buLbmggZOG6oW5nIGhoOm1tOnNzIHbhu5tpIMSR4bunIDIgY2jhu68gc+G7kQogICAgcHJpbnRmKCIlMDJkOiUwMmQ6JTAyZFxuIiwgaG91ciwgbSwgcyk7CiAgICByZXR1cm4gMDsKfQo=