<?

$DEBUG = false;

if (isset($searching) && ($searching > 0) ) {

  $sql = process_query_form($variables);
  if ($DEBUG) print $sql."<br>\n";
  $result = mysql_query($sql,$link);
  if (mysql_num_rows($result) > 0) {
    print "<P><b>$choral_numberofresults</b> ".mysql_num_rows($result)."\n";
    while($row = mysql_fetch_object($result)) {
      $work_id_list[] = $row -> work_id;
      if ($DEBUG) print "Work List: ". $row -> work_id;
    }
    reset($work_id_list);
    $results_strings = format_works($work_id_list);
    
    while(list($key,$value) = each($results_strings)) {
      print "\n<hr>\n".$value."\n<hr>\n";
    }
  } else {
    print "<P>$choral_searchyieldnoresult";
  }
} else {
  // we just entered the page print the search form
  print "<b>$choral_linkmenusearch:</b>";
  print search_form();
}


?>