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