#include <stdio.h>

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