Thanks. $numtok() is what I was looking for. Then from that the tokens can be accessed with $gettok().


I registered; you should too.