(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.