In 1815 Thomas sold his collection of about 6,700 of these to the government for $23,950
In 1815, Jefferson sold his 6,700-volume personal library to ... books formed 
the foundation of the rebuilt Library of Congress's collections.