def jid_to_time(jid):
 jid = str(jid)
 if (len(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:]
 ret = '{0}, {1} {2} {3}:{4}:{5}.{6}'.format(year, months[int(month)], day, hour, minute, second, micro)
 return ret

def jid_to_time ( jid ) : jid = str ( jid ) if ( len ( 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 : ] ret = '{0}, {1} {2} {3}:{4}:{5}.{6}' . format ( year , months [ int ( month ) ] , day , hour , minute , second , micro ) return ret
convert a salt job id into the time when the job was invoked .