#include <stdio.h>
int main(){
    int n;
	int hour,minute;
	while(scanf("%d",&n)!=EOF){
	    scanf("%d %d",&hour,&minute);
		int hour1=(hour+13)%24;
		int minute1=(minute+45)%60;
		printf("%d:%d\n",hour1,minute1);
	}
	return 0;
}