docs: def jid_to_time(jid):
      '''
      Convert a salt job id into the time when the job was invoked
      '''
      jid = six.text_type(jid)
      if len(jid) != 20 and (len(jid) <= 21 or jid[20] != '_'):
          return ''
      year = jid[:4]
      month = jid[4:6]
      day = jid[6:8]
      hour = jid[8:10]
      minute = jid[10:12]
      second = jid[12:14]
      micro = jid[14:20]
  
      ret = '{0}, {1} {2} {3}:{4}:{5}.{6}'.format(year,
                                                  months[int(month)],
                                                  day,
                                                  hour,
                                                  minute,
                                                  second,
                                                  micro)
      return ret