DivX PlayerとMicrosoft Media Player 6.3を使う方法が>>13に紹介されていますが、
Microsoft Media Playerのバージョンは7.01でも大丈夫でしょうか？