t = int(input())/1000 time = "{:02d}:{:02d}:{:02d}".format(int(t/3600)%24,int(t/60)%60,int(t)%60) print(time)