#include <stdio.h>

int main(void) {
    int time,hour=10,minute,distance;
    scanf("%d",&distance);
    time = 60*distance/100;
    while (time >= 60) {
        time -= 60;
        hour += 1;
    }
    minute += time;
    printf("%02d:%02d\n", hour, minute);
    return 0;
}