#include <stdio.h>

void main(void){

	int a = 0;	 
    scanf("%d",&a);
    int t , m ;
    t = 10 + (a/100);
    m = a%100/10 * 6;
    printf("%02d:%02d",t,m);
}