どうでもいいことだが。