function do_whois(address,authenticator)
{
	var whois_result = document.getElementById("whois_result");
	if (!whois_result) return(false);
	whois_result.innerHTML = "Performing WHOIS lookup of "+address+"...";

	// AJAX request
	var request = new XMLHttpRequest();
	if (!request) return(false);
	request.onreadystatechange = function() {
		if (request.readyState == 4)
		{
			if (request.status == 200)
			{
				whois_result.innerHTML = request.responseText;
			}
			else
			{
				whois_result.innerHTML = "<span class='color: red;'>Error running WHOIS query</span>";
			}
		}
	}
	request.open("GET","ajax_whois.php?address="+address+"&authenticator="+authenticator);
	request.send(null);
}