(These workers include the carpenters, builders, and masons.) Also, use ⌊the rest of⌋ the money to buy lumber and quarried stones to repair the temple.