prefs); prefs_global_parse_form($prefs); global_prefs_update($user, $prefs); Header("Location: prefs.php"); ?>