#include <stdio.h>

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