print_player_names();