Unto carpenters, and builders, and masons,.... Who were employed, some in mending the woodwork, and others in repairing the stone walls
and to buy timber and hewn stone to repair the house; not only money was to be given them for their workmanship, but to buy timber and stone to work with.