13 So the workmen labored, and the repair work progressed in their hands, and they restored the house of God according to its specifications and strengthened it.