using System.Collections.Generic;
static string timeConversion(String s)
s = s.Remove(s.LastIndexOf('A'), 2);
int[] intT = s.Split(':').Select(Int32.Parse).ToArray();
s = String.Concat((intT[0] + 12).ToString(), s.Remove(0, 2));
public static void Main(string[] args)
string s = Console.ReadLine();
string result = timeConversion(s);
Console.WriteLine(result);