今知った
4は出てないしドコモから出る可能性低いのか…