EZR 7:20

20 Whatever more will be needed for the house of your God, which you may have occasion to give, give it out of the king’s treasure house.