But they gave that to the workmen, and repaired with it the house of the LORD.