# save_old
echo The following files will be saved in the old directory:
echo $*
echo
for p in $*
do
   echo $p
   mv $p old/$p
   chmod 400 old/$p
done
