global_prefs); print_prefs_display($prefs); } else { print_login_form(); } echo "

\n"; page_tail(); ?>