name"); show_user_stats($user); page_tail(); } else { page_head("Can't find user"); echo "There is no account with that id.\n

"; page_tail(); } ?>