7 ms·

Used curiously fewer tokens, however.