def get_human_readable_time_string(time_msec):
 return time.strftime('%B %d %H:%M:%S', time.gmtime((time_msec / 1000.0)))

def get_human_readable_time_string ( time_msec ) : return time . strftime ( '%B %d %H:%M:%S' , time . gmtime ( ( time_msec / 1000.0 ) ) )
given a time in milliseconds since the epoch .