#include <stdio.h>

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