#!/bin/sh

for i in $*; do 
   sed -e "s/HREF=\"/HREF=\"index.php3?body=docs\//" $i > $i.bak;
   sed -e "s/HREF=\"index.php3?mailto/HREF=\"mailto/" $i.bak >$i.bk1;
   rm -f $i $i.bak; mv $i.bk1 $i;
done