#include <stdio.h>
int main()
{
int hour,min;
char a;
scanf("%d%c%d",&hour,&a,&min);
if(hour > 12)
{
hour -= 12;
printf("%d:%d PM",hour,min);
}
else
{
if(hour == 12)
printf("12:%d PM",min); //十二点还是12
else
printf("%d:%d AM",hour,min);
}
return 0;
}