prefs); prefs_global_parse_form($prefs); global_prefs_update($user, $prefs); echo "

"; echo "

"; print_prefs_display($user); } echo "

\n"; page_tail(); ?>