6 that is, to the carpenters, and to the builders, and to the masons, as well as for buying timber and quarried stone to repair the house.