Updated print for ID Tokens and calling tok->print()