jrh: created 11/28/95

Dave Smith: Code cleanup, minor reorganization, addition of footer includes,
application of UCMP style sheet, new banner — 9/27/05