#!/bin/sed -f
#
# Strip RFC822 headers from input.
#	- Cameron Simpson 17feb1995
#

1,/^
*$/d