echo "Converting to raw RGB avi and putting avi in front of filename."
for file in $* 
do
  echo "Converting $file"
  OUT=raw_`basename $file avi`avi
  mencoder  -o $OUT -ovc rawrgb -oac copy $file
done