6 the carpenters, construction-workers and stonemasons - and to purchase timber and worked stone for doing the repairs on the building."