import java.util.*;
public class Main {
public static void main(String[] args) {
// TODO Auto-generated method stub
Scanner reader = new Scanner(System.in);
double c1 = reader.nextDouble();
double c2 = reader.nextDouble();
int clk_tck = 100;
double time_second = (c2-c1)/clk_tck;
time_second = Math.round(time_second);
int hour = (int)time_second/3600;
time_second -= hour*3600;
int min = (int)time_second/60;
time_second -= min*60;
System.out.printf("%02d:%02d:%02d",hour,min,(int)time_second);
}
注意一下时间输出的方式,不足两位数也要补成两位数