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

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