"the divx format is actually a overhauled .avi format with a different name."
The avi format is actually a container that can contain motion and audio compressed in a variety of formats.