#!/bin/python

import sys


time = raw_input().strip()
#time="07:05:45PM"
#time="12:00:00AM"
#time="12:00:00PM"

if str(time[8])=="P":
	hh=str(int(time[0:2])+12)
	if hh=="24":
		hh="12"
elif str(time[0:2])=="12":
	hh="00"
else:
	hh=time[0:2]
	
if hh<10:
	time = str("0"+str(hh)+time[2:8])
else:
	time = str(hh)+time[2:8]

print str(time)