Littlebit more than 4000 books. There are lots of historical records from the Joseon era (Korea before the Japanese-occupation), you know… the time of bureaucrats. They recorded every single detail about the King, even his daily bowel movements 😂