//#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
//using namespace atcoder;
using ll = long long;
#define all(A) A.begin(),A.end()
using vll = vector<ll>;
#define rep(i, n) for (long long i = 0; i < (long long)(n); i++)
using Graph = vector<vector<ll>>;

int main() {
	 
	ll A;
	cin>>A;
	ll D=A/10*6;
	cout<<10+D/60<<":"<<(D%60<10?"0":"")<<D%60<<endl;

}