Seconds Into Hours Minutes Seconds

Read a number of seconds as a whole number and print it as hours, minutes and seconds separated by colons with no zero padding, so 3725 seconds prints as 1:2:5. Use floor division // by 3600 for the hours, the remainder operator % by 3600 for the seconds left after the hours, then // and % by 60 on that remainder for the minutes and the seconds. Input: one line, an integer, no prompt.