#include<stdio.h>
char s[10],m[3];
int main(int H){
if(scanf("%d:%s%s",&H
,&s
,&m
)==3,printf("%d:%s",H
+12*(m
[0]=='P'),s
)){} }
I2luY2x1ZGU8c3RkaW8uaD4KY2hhciBzWzEwXSxtWzNdOwppbnQgbWFpbihpbnQgSCl7CglpZihzY2FuZigiJWQ6JXMlcyIsJkgsJnMsJm0pPT0zLHByaW50ZigiJWQ6JXMiLEgrMTIqKG1bMF09PSdQJykscykpe30KfQ==