Divx系のムービーでdivx5.02か4かなどを判断するにはどうすればよいのでしょうか?