いまのところDivx圧縮のaviが一番ちいさくて画質はいいはず。