function FirefoxPlugin() {
  if ((typeof window.sidebar == "object") && (typeof window.sidebar.addSearchEngine == "function")){
    window.sidebar.addSearchEngine( "http://favoriten.name/search.src", "http://favoriten.name/favicon2.ico", "Favoriten.name Suche", "Favoriten.name");
  }
}