#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")

京公网安备 11010502036488号