function sendRequest() {
    document.getElementById("res").innerHTML = "<p>Searching for IP address... please wait!</p>";
    var headers = document.getElementById("headers").value;
    http.open('post', '/info/findip.pl', true);
    http.setRequestHeader("Content-Type","application/x-www-form-urlencoded; charset=UTF-8");
    http.send("email=" + esc(document.getElementById("email").value) + "&headers=" + headers);
    http.onreadystatechange = handleResponse;
}
function trimHeaders() {
    var headers = esc(document.getElementById("headers").value);
    var lines = headers.split("\n");
    var patIp = /\[\d+\.\d+\.\d+\.\d+\]/;
    var headers = "";
    for (i=0; i < lines.length; i++) {
      if (lines[i].match(patIp)) 
	headers += lines[i] + "\n";
    }
    document.getElementById("headers").value = headers;
}
function esc(str) {
  str = str.replace(/\&/g, '**');
  str = str.replace(/<|>|;/g, '');
  return str;
}