"; $result = mysql_query($query); while ($platform = mysql_fetch_object($result)) { show_platform($platform); } print_page_end(); ?>