$gettok() is what you want.