#include <bits/stdc++.h>
#define rep(i, n) for (ll i = 0; i < n; ++i)
typedef long long ll;
using namespace std;
const int INF = 1e9;

int main() {
    int a;
    cin >> a;

    printf("%d:%02d\n", a / 100 + 10, a % 100 * 6 / 10);

    return 0;
}