ドコモのトラブルも4000年に一度くらいのものだったんだろうか