#include <stdio.h>
int main(void){
   int h,m;
   scanf("%d%*c%d",&h,&m);
   m+=5;
  printf("%02d:%02d",(h+m/60)%24,m%60);
    
}