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

#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)

int main(int argc, char const *argv[])
{
	int a; cin >> a;
	// cout << (double)(a % 100) / 100.0 *a 60 << endl;
	printf("%d:%02d\n", 10 + a / 100, (int)((double)(a % 100) / 100.0 * 60));
	return 0;
}