query_database(); $_SESSION["main_ids"] = $main_ids; $page = 1; } else { $main_ids = $_SESSION["main_ids"]; } $xml = $converter->convert_resultset_to_xml($main_ids, $page, $stylesheet); if($xml_processing_script == "") { header("Content-Type: application/xml"); echo $xml; } else { include($xml_processing_script); } ?>