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