Subject to appropriations, penalties collected under this section may be used by the Secretary of the Treasury to pay rewards under section
4225 of this title and, to the extent not used to pay such rewards, shall be deposited by the Secretary of the Treasury into the Fund.