#include <bits/stdc++.h>
using namespace std;

int main() {
    int a;
    cin >> a;
    cout << a / 100 + 10 << ':' << a / 10 % 10 * 6 << endl;
}