Modified SEQ_NUM() function for Mobile and HTML.  Little fix for TFEtokenizer.