(15) But they gave that money to the osei hamelachah (workmen), and repaired therewith the Bais Hashem.