#!/usr/bin/awk -f
{
    # Uncomment and/or change this if your movie player shows and
    # removes the text too soon.
    #delay=12;

    i=3;
    while($i !~ /.*"$/)
	i++;
    time = "{" int($(i+1)*25+0.5+delay) "}{" int($(i+2)*25+0.5+delay) "}";
    line="";
    for (i=i+4; i <= NF; i++){
	line=line $i;
	if (i != NF)
	    line=line " ";
    }
    i=gsub(/\[silence\]/, "", line);
    i=i+gsub(/Gnu/, "GNU", line);
    i=i+gsub(/PDP-ten/, "PDP-10", line);
    i=i+gsub(/PDP-eleven/, "PDP-11", line);
    i=i+gsub(/tenex/, "TENEX", line);
    i=i+gsub(/sixteen-bit/, "16 bit", line);
    i=i+gsub(/thirty-two-bit/, "32 bit", line);
    i=i+gsub(/nineteen-sixties/, "1960's", line);
    i=i+gsub(/[Tt]eco/, "TECO", line);
    i=i+gsub(/[Tt]int/, " TINT", line);
    i=i+gsub(/Fine/, "FINE", line);
    i=i+gsub(/Sine/, "SINE", line);
    i=i+gsub(/Eine/, "EINE", line);
    i=i+gsub(/Zwei/, "ZWEI", line);
    i=i+gsub(/nineteen-seventies/, "1970's", line);
    i=i+gsub(/nineteen-eighties/, "1980's", line);
    i=i+gsub(/nineteen-sixty/, "1960", line);
    i=i+gsub(/nineteen-seventy-one/, "1971", line);
    i=i+gsub(/nineteen-seventy-five/, "1975", line);
    i=i+gsub(/nineteen-eighty-one/, "1981", line);
    i=i+gsub(/nineteen-eighty-three/, "1983", line);
    i=i+gsub(/nineteen-eighty-four/, "1984", line);
    i=i+gsub(/nineteen-eighty-five/, "1985", line);
    i=i+gsub(/nineteen-eighty-nine/, "1989", line);
    i=i+gsub(/nineteen-ninety-one/, "1991", line);
    i=i+gsub(/eighty-four/, "'84", line);
    i=i+gsub(/sixties/, "60's", line);
    i=i+gsub(/seventies/, "70's", line);
    i=i+gsub(/twenty/, "20", line);
    i=i+gsub(/VI/, "vi", line);
    i=i+gsub(/a hundred and fifty dollars/, "$150", line);
    i=i+gsub(/\[recording glitch\]/, "", line);
    i=i+gsub(/<comment>[^<]*<\/comment>/, "", line);
    i=i+gsub(/<\/?language[^>]*>/, "", line);
    i=i+gsub(/<pronounce=inaudible> <\/pronounce>/, "[inaudible]", line);
    i=i+gsub(/<pronounce=click> <\/pronounce>/, "[click]", line);
    i=i+gsub(/<pronounce=pi> <\/pronounce>/, "[unintelligible]", line);
    i=i+gsub(/<\/?pronounce[^>]*>/, "", line);
    i=i+gsub(/GNU slash Linux/, "GNU/Linux", line);
    i=i+gsub(/GNU slash Hurd/, "GNU/Hurd", line);
    i=i+gsub(/gnu at gnu dot org/, "gnu@gnu.org", line);
    i=i+gsub(/W W W dot [Gg][Nn][Uu] dot org/, "www.gnu.org", line);
    i=i+gsub(/W W W dot free patents/, "www.freepatents.org", line);
    i=i+gsub(/^dot$/, "www.freepatents.org", line);
    i=i+gsub(/^org\.$/, "www.freepatents.org", line);
    i=i+gsub(/Rom/, "ROM", line);
    i=i+gsub(/W W d,/, "ww...,", line);
    i=i+gsub(/Ignucius/, "IGNUcius", line);
#   if(i != 0) print line;
    if(line != "")
	print time line;
}