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

void solve() {
  int x, t;
  cin >> x;
  t = 600 + 6 * (x / 10);
  printf("%02d:%02d", t / 60, t % 60);
}

int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
  solve();
  getchar();
}