#include<stdio.h>
int main(){
  int h,m;
  scanf("%d:%d",&h,&m);
  if(m<55){
    m=m+5;
  }else{
    m=m-55;
    if(h<23){
      h++;
    }else{
      h=0;
    }
  }
  printf("%02d:%02d",h,m);
  return 0;
}