$7 million? Are you sure? These are marketable assets and can go down in value. Perhaps only $5 million or only $3 million? Or less ? Nothing is sure.