{ print "\\seqnum\{" $1 "\}," }