Lan sắp cùng bạn bè phát triển một trang web hiển thị thời gian.

Trên máy chủ, bạn của Lan đã lấy được thời gian hiện tại, biểu diễn bằng một số nguyên có giá trị là số mili giây trôi qua từ 00:00:00 ngày 1 tháng 1 năm 1970 đến thời điểm hiện tại.

Bây giờ, Lan cần hiển thị thời gian này ở phía client. Lan không cần hiển thị năm tháng ngày, chỉ cần hiển thị giờ phút giây là được, mili giây cũng không cần hiển thị mà bỏ đi luôn.

Cho một thời gian biểu diễn bằng số nguyên, hãy in ra giờ phút giây tương ứng với thời gian đó.

Dữ liệu vào

Đầu vào gồm một dòng chứa một số nguyên biểu diễn thời gian.

Dữ liệu ra

In ra thời gian hiện tại theo giờ phút giây, định dạng dạng HH:MM:SS, trong đó:

• HH: giờ, 0~23

• MM: phút, 0~59

• SS: giây, 0~59

Nếu chưa đủ hai chữ số thì thêm số 0 vào phía trước.

Ví dụ 1

Input

46800999

Output

13:00:00

Ví dụ 2

Input

1618708103123

Output

01:08:23