2

Tip #486   Convert seconds to Hours, Minutes and Seconds

echo - | awk -v "S=12345" '{printf "%d:%d:%d",S/(60*60),S%(60*60)/60,S%60}'