#include<stdio.h>

int main(void){
    
    int a;
    scanf("%d",&a);
    
    int hour=10;
    hour = hour+(a/100);
    
    int min=0;
    min = 0.6*(a%100);
    
    printf("%2d:%02d\n",hour,min);
    
    return 0;
}