#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; }