3 ms·

grep is indeed fast!