function updateList() {
	var divlist = document.getElementById('list');
	if (http.readyState == 4) {
		divlist.innerHTML = http.responseText;
		isWorking = false;
	} else {
		divlist.innerHTML = "working ..."; 
	}
}

function getList() {
	if (!isWorking && http) {
		var name = document.getElementById("name").value;
/*		if (document.form.bors[1].checked) { */
/*			http.open("GET", "/cgi-bin/search.pl?terms="
			+name + "&class=incsong" ); */
/*		} else { */
		http.open("GET", "/cgi-bin/search.pl?terms=" +name + "&class=incname&mode=diffnames");
/*		} */
		http.onreadystatechange = updateList;  
	  // this sets the call-back function to be invoked when a response from the HTTP request is returned
		isWorking = true;
		http.send(null);
	}
}

function getHTTPObject() {
	var xmlhttp;
// needed for IE
/*@cc_on
  @if (@_jscript_version >= 5)
    try {
      xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
    } catch (e) {
      try {
        xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
      } catch (E) {
        xmlhttp = false;
      }
    }
  @else
  xmlhttp = false;
  @end @*/
	if (!xmlhttp && typeof XMLHttpRequest != 'undefined') {
		try {
			xmlhttp = new XMLHttpRequest();
			xmlhttp.overrideMimeType("text/xml"); 
		} catch (e) {
			xmlhttp = false;
		}
	}
	return xmlhttp;
}

var http = getHTTPObject(); //  create the HTTP Object
var isWorking = false;