\n"; output_form_for_new_game($names); echo "\n"; display_user_menu(); } else { echo "

Please log in.

"; } ?>