code: def pp_timestamp(t):
      
      if t is None:
          return ''
      h, m, s = int(t / 3600), int(t / 60 % 60), t % 60
      return "%02d:%02d:%05.2f" % (h, m, s)
docs: Get a friendly timestamp represented as a string.