What should happen to the Treasury Buildings?