def FormatISOTime(t):
 return time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime((t / 1000000.0)))

def FormatISOTime ( t ) : return time . strftime ( '%Y-%m-%d %H:%M:%S' , time . gmtime ( ( t / 1000000.0 ) ) )
format a time in epoch notation to iso utc .