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

string s;
int dp[10][2][2];
int n;

int main(){
  cin>>n;
  int ans1=n/100;
  n%=100;
  n/=10;
  int ans2=n*6;
  cout<<10+ans1<<":";
  if(ans2>=10)cout<<ans2<<"\n";
  else cout<<0<<ans2<<"\n";
  return 0;
}