def timeConversion(s):
    h = int(s[:2])
    msec = s[2:8]
    h = h % 12 if s[-2:] == 'AM' else h % 12 + 12
    return f"{h:02}{msec}"

    public static string timeConversion(string s)
    {
        var date = DateTime.Parse(s);
        return date.ToString("HH:mm:ss");
    }

string timeConversion(string s) {
 int pos = s.find(":");
 int t = stoi(s.substr(0,pos));
 string r = s.substr(8,2);
if(t == 12 && r =="AM")return "00"+s.substr(pos,6);
else if(t <12 && r=="PM")return to_string((t+12))+s.substr(pos,6);
else return s.substr(0,8);
}

def timeConversion(s):
    h=int(s[0:2])
    
    
    if s[-2]=='P' or s[-2]=='p':
        if h!=12:
            h=12+h
        else:
            h=h    
        return(str(h)+s[2:8])
    else:
        if h==12:
            return("00"+s[2:8])
        else:
            return(s[:8])

            
s=input()
result=timeConversion(s)
print(result)    

#include <bits/stdc++.h>

using namespace std;

string timeConversion(string s) {
    string s1 = s.substr(8,2);
    string s2 = s.substr(0,2);
    string s3 = s.substr(2,6);
    
    if (s1=="AM"){
        if (s2=="12"){
            s2 = "00";
        }
    }
    else if (s1=="PM"){
        if (s2!="12"){
            int a = stoi(s2) + 12;
            string s4 = to_string(a);
            s2 = s4;
        }
    }
    return s2+s3;
}

int main(){
    string s;
    cin>>s;
    cout<<timeConversion(s);
}