function setup () {
  var s = document.location.search;
  if(s.length > 0) {
    document.form1.query.value = s.split("=")[1];
  }
  var msie = ((navigator.userAgent.match(/msie/i)) != null);
  if(!msie) {
if(dest = document.getElementById("notes")) {
    dest.innerHTML = "<b>NOTE:</b> users of Firefox and some other browsers may have to manually select the new tab containing the search result."
}
  }
}

function submit_search() {
  var arg = escape(document.form1.query.value + " site:arachnoid.com");
  arg = arg.replace(/\+/g,"%2b"); // have to deal with '+' separately
  var com = "http://google.com/search?q=" + arg;
  var new_window = window.open(com, "Search_Results");
  if(window.focus) new_window.focus();
}

window.onload = setup;