format python detik untuk hh mm ss

import time
time.strftime('%H:%M:%S', time.gmtime(12345))
#'03:25:45'
HosseinZaaferani