#! /bin/sh # # Written 9/20/00 by Joe Block # # It shouldn't matter, but this script is GPL. cat <