#include <bits/stdc++.h>
using ll = long long;
using llu = long long unsigned;

using namespace std;

int main() {
    int a;
    cin >> a;
    int hour = 10;
    int min = 0;
    hour += a/100;
    min += a%100*60/100;
    printf("%02d:%02d\n", hour, min);
    return 0;
}