name); page_head($head); print_edit_user_info($user); page_tail(); } else { print_login_form(); } ?>