Symbol: gettxseq