and 4,000 were gatekeepers, and 4,000 were praising the LORD with the instruments which David made for giving praise.