#include <stdio.h>

int main() {
    int hour,minute,k;
    scanf("%d:%d %d",&hour,&minute,&k);
    if(k>=60)
    {
    hour+=k/60;
    minute+=k%60;
    if(hour>=24)
    hour=hour%24;
     if(minute>=60)
     {
    minute=minute%60;
    hour+=1;
     }
    }
    else {
    minute+=k;
    }
    printf("%02d:%02d",hour,minute);
    return 0;
}