Va. Code § 37.2-317
As used in this article, unless the context requires a different meaning:
"Assets" means the buildings and land of state facilities operated by the Department.
"Fund" means the Behavioral Health and Developmental Services Trust Fund.
"Net proceeds" means the gross amount received by the seller on account of the sale of any assets (i) less costs incurred on behalf of the seller in connection with such sale and (ii), if after the sale the sold assets will be used by an entity other than a state agency or instrumentality or a local governmental entity in a governmental activity and debt obligations financed any portion of the sold assets and any amount of such obligations is outstanding at the time of the sale, less the amount necessary to provide for the payment or redemption of the portion of such outstanding obligations that financed the sold assets, which amount shall be used to pay or redeem such obligations or shall be transferred to the third party issuer of the obligations for a use permitted in accordance with such obligations.
Va. Code § 37.2-317