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

int main() {
	int a, H = 10, M = 0;
	cin >> a;
	H += a / 100;
	M += (a % 100) * 3 / 5;
	cout << setw(2) << setfill('0') << H << ":" << setw(2) << setfill('0') << M;
}