Panda3D Manual: Scene Editor Lectures

i have downloaded the above videos

what codec do i need to play them?

The ffdshow mpeg-4 video decoder.

and where can i get this codec from?