prefs); print_prefs_display($prefs); } else { //show_login($user); print_login_form(); } echo "

\n"; page_tail(); ?>