#include<stdio.h> int main() { int hour, minute, k; scanf("%d:%d %d", &hour, &minute, &k); hour = (hour + (k + minute) / 60) % 24; minute = (k + minute) % 60; printf("%02d:%02d\n", hour, minute);

}