The amount generated from these disposals will be deposited in the government treasury.