#include <stdio.h>

int main() {
    int hour = 0, minute = 0, k = 0;
    scanf("%d:%d %d", &hour, &minute, &k);
    minute += k;
    while(minute > 59)
    {
        hour++;
        if(hour > 23)
        {
            hour = 0;
        }
        minute -= 60;
    }

    

    printf("%02d:%02d", hour, minute);

    return 0;
}