And these [were the men] whom David set over the service of the singers in the house of the Lord when the ark was at rest.