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