n = int(input()) time = 600+(n/100)*60 print("{:02d}:{:02d}".format(int(time//60),int(time%60)))