They delivered it into the hands of the workmen who had the oversight of the LORD’s house; and the workmen who labored in the LORD’s house gave it to mend and repair the house.