#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
    int hour,minute;
    char time[3];
    while(scanf("%d.%d%s",&hour,&minute,time)!=EOF)
    {
        switch(time[0])
        {
        case 'a':
            if(hour==12)
                printf("0.%.2d\n",minute);
            else
                printf("%d.%.2d\n",hour,minute);
            break;
        case 'p':
            if(hour==12|| hour==0)
                printf("%d.%.2d\n",hour,minute);
            else if(hour>0 && hour<12)
                printf("%d.%.2d\n",hour+12,minute);
        }
    }

    return 0;
}