including craftsmen, builders, and masons, and should buy wood and chiseled stone for the repair work.