But they gave that to the workmen, and repaired therewith the house of the Lord.] They took care that the workmen should first be paid for the repairs of the temple.