3 ms·

Problem is that it's pretty easy to have "wrong" whitespace that'll get formatted to something different than you expected.