And let it be given to the workmen by the overseers of the house of the Lord: and lot them distribute it to those that work in the temple of the Lord, to repair the temple: