print_token()