#include <stdio.h>

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