if __name__=='__main__':
t=int(input())
t//=1000
hour=int(t//3600%24)
minute=int(t%3600//60)
second=int(t%60)
hour_s='{:02d}'.format(hour)
minute_s='{:02d}'.format(minute)
second_s='{:02d}'.format(second)
print(hour_s+':'+minute_s+':'+second_s)