four thousand were to be gatekeepers, and four thousand were to praise the Lord with the instruments which [David] had devised for praise.