and the masons and the stone cutters. Also with some of that money they bought timber and stones that had been cut to be used in the repair work, and to pay all the other expenses for the repair work.