#!/bin/sh                                                                       
                                                                                
KILLSTRINGS="-e s/NETSCAPE2.0/DISABLEDXXX/g -e s/ANIMEXTS1.0/DISABLEDXXX/g"
FILE=$1                                                                         
                                                                                
if [ ! -f $FILE ]; then                                                         
  echo 'killanim FILENAME'                                                      
  exit 1                                                                        
fi                                                                              
                                                                                
sed $KILLSTRINGS $FILE > $FILE.new &&                                           
mv $FILE $FILE.orig &&                                                          
mv $FILE.new $FILE                                                              
chmod +x $FILE