#include<stdio.h>

int main(void){
  int a, t;
  scanf("%d", &a);
  t = 10 * 60 + a * 60 / 100;
  printf("%02d:%02d\n", t / 60, t % 60);
  return 0;
}