Halp!

Does anyone know how to make video files smaller? I have a few AVI videos from my camera that I want to download and edit to make a puppy play video, but either my file type is wrong or the file is too big.

Anyone know?

Bueller?