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

int main(){
  int a;
  cin >> a;
  printf("%0*d:",2,(a/10*6)/60+10);
  printf("%0*d\n",2,(a/10*6)%60);
}