#!/bin/sh -f
for i in $*
do
i=`echo $i | sed -e 's/^rfc//' -e 's/\.txt$//'`
fetch "http://www.ietf.org/rfc/rfc${i}.txt"
done