moreover, four thousand were porters, and four thousand praised the Lord with the instruments which David had made to praise therewith.