However, despite the use of the ".divx" extension, this format is an extension to the AVI file format.
हालांकि, .divx एक्सटेंशन के उपयोग के बावजूद, यह फॉर्मेट AVI फ़ाइल फॉर्मेट का एक एक्सटेंशन है।