// #define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); ++i)
int main() {
    // Input
    int a;
    cin >> a;

    // Output
    int dh = (a / 10 * 6) / 60;
    int dm = (a / 10 * 6) % 60;
    printf("%02d:%02d", 10 + dh, dm);
}