BEGIN /\n*</ BODY />\n*/ { begin record $2 }
/\n*<[Vv][Aa][Rr][ ]+/ /[^ >]+/ /[ ]+/ /[^ >]+/ /[ ]+/ /[^ >]+/ /[ ]*>/ {
begin variant $1 $3 $5
BEGIN /\n*</ BODY />\n*/ { begin record $2 }
/\n*<[Vv][Aa][Rr][ ]+/ /[^ >]+/ /[ ]+/ /[^ >]+/ /[ ]+/ /[^ >]+/ /[ ]*>/ {
begin variant $1 $3 $5