#!/bin/awk -f
#
# The anonymizer --- strips all header lines except for the Subject and Date
# lines, and inserts an appropriate from field
#
# Written by Theodore Ts'o, November 13, 1990
#
# Last modified: [tytso:19901116.1449EST]

BEGIN {
        inheader = 1
        print "From: Hidden_User (Hidden User)"
}

(inheader==0) {
        print;
}

((inheader==1) && /^[Ss][Uu][Bb][Jj][Ee][Cc][Tt]:/) {
        print;
}

((inheader==1) && /^[Dd][Aa][Tt][Ee]:/) {
        print;
}

((inheader==1) && /^[Tt][Oo]:/) {
        print;
}

((inheader==1) && /^$/) {
        inheader = 0;
        print;
}