昨日の発表で、ドコモ株価はどうなったの?