for file in $* 
do
  echo "Converting $file to divx (replaces original)"
  OUT=divx_tmp_$file
  mencoder  -o $OUT -ovc lavc -lavcopts vcodec=mpeg4:vhq -oac copy $file
  mv $OUT $file
done