How do you apply Divx Codec to CamStudio?

[ChristopherKim]

I've downloaded CamStudio, but when ever I watch my videos, they seem really laggy. So I saw the reccomended Codec, DivX Codec, so I downloaded DivX software and DivX Codec didn't appear in CamStudio. Did I miss a step?