Format numbers to strings in Python,"'%02d:%02d:%02d' % (hours, minutes, seconds)"