string done(143)