#include "bits/stdc++.h"

using namespace std;

using ll = long long;
using ld = long double;

const int INF = (1 << 30) - 1;
const ll INF64 = ((ll)1 << 62) - 1;
const double PI = 3.1415926535897932384626433832795;

const int dx[] = { 0, 1, 0, -1 };
const int dy[] = { -1, 0, 1, 0 };

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);

	double a;
	cin >> a;

	int time = (double)(a / 100) * 10;
	string outputA = [&]() -> string {
		string s = to_string((10 + (time / 10)));
		return s.size() == 1 ? "0" + s : s;
	}();
	string outputB = [&]() -> string {
		string s = to_string(6 * (time % 10));
		return s.size() == 1 ? "0" + s : s;
	}();
	cout << outputA << ":" << outputB << endl;
	
	return 0;
}