4 ms·

even 6th ed has more than 10000 lines, but I incline to think the writer dropped one zero accidentally.