#include <cstdlib>
#include <iostream>
#include <fstream>
#include <string>
using namespace std;
string timeConversion(string s)
{
string p=s;
int i,j;
if(toupper(s[8])=='P') { // checking if it is AM or PM
int x =(s[0]-'0')*10 + (s[1]-'0') +12;
if (x<24) {
p[0]= x/10+'0';
p[1]= x%10+'0';
}
}
else if (s.substr(0,2)=="12")
p[0]=p[1]='0';
return p.substr(0, p.size()-2); //removing last two characters
}
int main()
{
string s;
while (getline(cin, s))
cout << s << "->" << timeConversion(s) << endl;
return 0;
}
I2luY2x1ZGUgPGNzdGRsaWI+CiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPGZzdHJlYW0+CiNpbmNsdWRlIDxzdHJpbmc+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKc3RyaW5nIHRpbWVDb252ZXJzaW9uKHN0cmluZyBzKSAKewogICAgc3RyaW5nIHA9czsKICAgIGludCBpLGo7CiAgICBpZih0b3VwcGVyKHNbOF0pPT0nUCcpIHsgICAgICAgICAgICAgICAgICAgLy8gY2hlY2tpbmcgaWYgaXQgaXMgQU0gb3IgUE0KICAgICAgIGludCB4ID0oc1swXS0nMCcpKjEwICsgKHNbMV0tJzAnKSArMTI7CiAgICAgICBpZiAoeDwyNCkgewogICAgICAgICAgIHBbMF09IHgvMTArJzAnOwogICAgICAgICAgIHBbMV09IHglMTArJzAnOwogICAgICAgfQogICAgfQogICAgZWxzZSBpZiAocy5zdWJzdHIoMCwyKT09IjEyIikKICAgICAgICBwWzBdPXBbMV09JzAnOwogICAgcmV0dXJuIHAuc3Vic3RyKDAsIHAuc2l6ZSgpLTIpOyAgIC8vcmVtb3ZpbmcgbGFzdCB0d28gY2hhcmFjdGVycyAKfQoKaW50IG1haW4oKQp7IAogICAgc3RyaW5nIHM7CgogICAgd2hpbGUgKGdldGxpbmUoY2luLCBzKSkgICAgICAgICAgICAgICAgCiAgICAgICAgY291dCA8PCBzIDw8ICItPiIgPDwgdGltZUNvbnZlcnNpb24ocykgPDwgZW5kbDsKCiAgICByZXR1cm4gMDsKfQ==