// add the given file as an open search plugin.
function addOpenSearch(filename)
{
  if ((typeof window.external == "object") && ((typeof window.external.AddSearchProvider == "unknown") || (typeof window.external.AddSearchProvider == "function"))) {
      window.external.AddSearchProvider(filename);
  } else {
    alert("You will need a browser which supports OpenSearch to install this plugin.");
  }
}