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