global_prefs); prefs_form_global($user, $prefs); echo "Back to preferences\n"; echo "
\n"; page_tail(); ?>