2 Kings 22:5-6

And let it be given into the hand of the workmen who have the oversight of the house of the LORD, and let them give it to the workmen who are at the house of the LORD, repairing the house (that is, to the carpenters, and to the builders, and to the masons), and let them use it for buying timber and quarried stone to repair the house.