#include <stdio.h>
int main() {
  unsigned int a;
  scanf("%u",&a);
  unsigned int h = a/100, m = a%100/10.*6;
  printf("%02u:%02u\n",h+10,m);
  return 0; 
}