#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;
}