added getToken() and gotoToken().