10000系より9000系の廃車が先だよね。