id"); while ($host = mysql_fetch_object($result)) { echo "

\n"; show_host($host); } mysql_free_result($result); } function show_user_page($user, $project) { echo "

Welcome, $user->name!

\n"; start_table(); show_user_profile($user); echo "

\n"; show_user_stats($user, $project); echo "

\n"; echo "

"; } ?>