#include <bits/stdc++.h>
#define ALL(a) (a).begin(), (a).end()
#define RALL(a) (a).rbegin(), (a).rend()
#define pb push_back
#define FOR(i, a, b) for (int i = (a); i < (b); ++i)
#define rep(i, n) FOR(i, 0, n)
#define ll long long
using namespace std;

const ll P = 1000000007;
int gcd(int a, int b) { return b != 0 ? gcd(b, a % b) : a; }
int lcm(int a, int b) { return a / gcd(a, b) * b; }

int main()
{
  cout << fixed << setprecision(10);
  int N;
  cin >> N;
  cout << N/100+10 ;
  cout << ":" ;
  if(N%100*3/5>10){
  cout << N%100*3/5 ;
  }
  else if(N%100*3/5==6)
  {
      cout << "06" ;
  }
  else if(N%100*3/5==0)
  {
      cout << "00";
  }
  
  return 0;
}