#include <iostream>
using namespace std;

int main() {
   int hour,minute,k;
   char ch;
   int minutes,hours;
   while(cin >> hour >> ch >> minute >> k)
   {
    minutes =( hour *60 +minute+k)%60;
    hours = ( hour *60 +minute+k)/60%24;
    printf("%02d:%02d",hours,minutes);
   }
}
// 64 位输出请用 printf("%lld")