You can download DIVX that comes with a little DIVX Converter that can convert a lot of different file types into .AVI.