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