4 ms·

I think most people just use a string extension to allow str.substring(with: 7..<11) or something similar.