1 Chronicles 23:5-7

and 4,000 were gatekeepers, and 4,000 [musicians] were to praise the LORD with the instruments which David made for giving praise. And David organized them into divisions according to the sons of Levi: Gershon, Kohath, and Merari. Of the Gershonites: Ladan (Libni) and Shimei.