<?php

while(true){
$h=trim(fgets(STDIN));
$m=trim(fgets(STDIN));
$s=trim(fgets(STDIN));
if($h==-1&&$m==-1&&$s==-1){
	return 0;
	}
$time = $h*3600+$m*60+$s;

for($i=0;$i<2;$i++){	
$time = $h*3600+$m*60+$s;
if($i==1){$time/=3;}
if($time/3600<10){
	print("0".floor($time/3600));
	print(":");
	$time%=3600;
}
else{
	print(floor($time/3600));
	print(":");
	$time%=3600;
}
if($time/60<10){
	print("0".floor($time/60));
	print(":");
	$time%=60;
}
else{
	print(floor($time/60));
	print(":");
	$time%=60;
}
if($time<10){
	print("0".$time);
}
else{
	print($time);
	}	
	print("\n");
}
}