#include <stdio.h>
int main()
{ int value1,value2;
scanf("%d",&value1);
scanf("%d",&value2);
printf("%c:29\n",value1);
printf("%c:37\n"value2);
return 0;
}