function clearField(aControl) {
  aControl.className = "user";
  aControl.value = "";
}

function goFind(aString) {
  qry = "http://www.google.co.uk/search?q=";
  qry += "site%3Awww.vector.org.uk+";
  window.location = qry + aString;
  return false; // prevents submitting form to server
}