name); page_head($head); show_user_page($user, PROJECT); } else { page_head("Log in"); print_login_form(); } page_tail(); ?>