#include<stdio.h>
#include<string.h>

int main()
{
    char time[100];
    gets(time);
    int i;
    for(i=0;i < strlen(time) ; i++)
    {
        if(time[strlen(time)-2] == 'P')
        {
            if(time[1] == ':')
            {
                if(time[0] < 8)
                {
                    time[4] = time[3];
                    time[3] = time[2];
                    time[1] = 2+time[0];
                    time[0] = 1;
                    time[2] = ':';
                }
                else if(time[0] == 9)
                {
                    time[4] = time[3];
                    time[3] = time[2];
                    time[1] = 1;
                    time[0] = 2;
                    time[2] = ':';
                }
                 else if(time[0] == 9)
                {
                    time[4] = time[3];
                    time[3] = time[2];
                    time[1] = 0;
                    time[0] = 2;
                    time[2] = ':';
                }
            }

            else if(time[2] == ':')
            {
                if(time[1] == 0)
                {
                     else if(time[0] == '9')
                {
                    time[4] = time[3];
                    time[3] = time[2];
                    time[1] = 2;
                    time[0] = 2;
                    time[2] = ':';
                }
                }

                if(time[1] == 1)
                {
                     else if(time[0] == 9)
                {
                    time[4] = time[3];
                    time[3] = time[2];
                    time[1] = 3;
                    time[0] = 2;
                    time[2] = ':';
                }
                }
                if(time[1] == 2)
                {
                     else if(time[0] == 9)
                {
                    time[4] = time[3];
                    time[3] = time[2];
                    time[1] = 4;
                    time[0] = 2;
                    time[2] = ':';
                }
                }
            }
        }
    }

    time[strlen(time)]='\0';
    printf("%s",time);
}