Text this: An act to permit the State of Hawaii to use the proceeds from the sale, lease, or other disposition of certain real property for any public purpose.