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