题解 | 时间转换

num_12 = list(input().split(":"))
tans = str(num_12[2])
# 截取字符串的最后两位
s =tans[-2:]
if(s=='PM'):
    if(num_12[0]=="12"):
         num_12[2]=tans[:2] 
    else:
        tans_num = int(num_12[0])+12
        num_12[0] =str(tans_num)
    # 截取字符串的前两位
        b =tans[:2]
        num_12[2]=b    
else:
    if(num_12[0]=="12"):
        num_12[0] ='00'
        b =tans[:2]
        num_12[2]=b
    else:
        num_12[2]=tans[:2]    
print(f"{num_12[0]}:{num_12[1]}:{num_12[2]}")