A 1716 Chinese dictionary lists more than 47,000 characters — Anecdota