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