Do you mean directX, which is at version 9, I'm not sure if DivX is?
Go to start, run type in dxdiag and ok, you should geta box up which has
this information in it, for direct x!!
DivX is a codec and will show up in the list of available codecs in the
editing software for export.
Graham