株式時価総額10兆円超えもありえますね。